New update on version 1.0

This change allows the live variable analysis to be run alone and separate from bound analysis.

First release of Whiley-to-C compiler

This release includes all the source code of Whiley-to-C compiler along with test cases and benchmarks.