Variable of type any has initial type any in control flow analysis

[ahejlsberg]

Fixes the following scenario that would previously produce an error:

function foo() {
    try {
    }
    catch (e) {
        console.log(e.message); // e should be of type any, not undefined 
    }
}

[DanielRosenwasser]

Was there a failing test for this? If not, can we add the one above?

[ahejlsberg]

This is from a local branch converting the compiler itself to --strictNullChecks. Will add a regression test.