Setup infrastructure for translation to boogie

[k4rtik]

I created this repo for the extension of λ-Q# with arrays. The first step is to provide a translation to Boogie.

References:

1. https://github.com/Whiley/Whiley2Boogie
2. Verifying Whiley Programs with Boogie