INSTALL.md

To avoid replicating what should be identical information, the Installation instructions for dafny are on the wiki: https://github.com/dafny-lang/dafny/wiki/INSTALL