Removed obsolete tests folder.
Merge branch 'master' of https://github.com/velant/python-to-dafny-converter

* 'master' of https://github.com/velant/python-to-dafny-converter:
  Delete test_translate.py.dafny
  Delete __init__.py.dafny