Initial commit.
Merge branch 'master' of https://github.com/velant/python-to-dafny-converter

* 'master' of https://github.com/velant/python-to-dafny-converter:
  Initial commit