(Committed by kmod)
Closes #93

Make check_format actually useful

Add sudo for zsh installation

Property

Some small changes to simplify the generated IR.

Also make a note that the CPython development headers are necessary
for running the tests.

Fix typo in IOError format string

This fixes an annoying typo introduced in cfe83db0.

+ mark the alloc routines as no alias (=attribute(malloc)).
  This marks every alloc call as noalias in the IR.
  (While I felt somewhat frightened by the malloc attribute AFAIK the generated IR looks reasonable.)
+ inline the trivial Box constructor
+ fix dead allocs pass: we will now remove the useless list creation inside f2 in speculation_test.py

Small improvements for file objects.

The code was already in but it was turned off due to the
compile time regressions.  The addition af kill flags seems
to have fixed it.

We now have the locals() method working and can start to implement
other similar features.

When emitting frame information, we pass all currently-live
variable names.  We clear dead register names at the end of
every basic block, but for long basic blocks we can end up
accumulating many temporary names (one per sub expression).
This ends up hugely increasing the LLVM compilation times since
we will pass hundreds of arguments to many different callsites.

Now, we remove dead variable names as soon as they die.  (Note:
user-visible names are always live since they can always be seen
by the locals() function.)  This means that we pass many fewer values
as frame arguments.

A better solution will be to have a real bytecode language which
encodes such liveness information, instead of mostly-having it and
then discarding it.

We currently specify execution state by the AST node that
represents it, which means that we have to not reuse AST nodes.
Previous to this patch, we were doing that, so this patch
fixes those up.

This patch isn't the cleanest since I think this whole approach
will go away when we transition to a proper bytecode system.