Automatically track which variables are inside if/cond/while

[josevalim]

Today this is done by the compiler, but it pushes a lot of complexity elsewhere. The if/cond/while nodes should automatically track the environment before them and keep it around. This will also allow us to implement while as closures.