1.0: Feature complete compiler

- Full compiler, as according to spec
- Changes since last:
    - Push all variables to stack at start of vsm execution.
    - Remove unnecessary semicolons

0.6

Added:
Clocked semantics for all intermediate languages.
Chained compiler from unclocked l1 to unclocked vsm0 through clocked l1, il1, il2, il3, vsm0 with proof of correctness.
travis-ci won't build in branches develop or master if there are any cheats in use.
Proof of divergence preservation from l1 to vsm0.

0.5

Added:
vsm0, compiler and proof of correctness
chained compiler from l1 to vsm0, and proof of small-step l1 to small-step vsm0 correctness
travis-ci support

0.4

Big refactor.

0.3

This contains a small-step (ish) semantics for IL2 in il2Script, a compiler from IL1 to IL2, and a proof of correctness (all in il1_to_il2Script).

Tag old dev branch

Tag old dev branch

Tag old dev branch

Tag old dev branch

Tag old dev branch