STYLE.md

The Dafny Style Guide is maintained as part of the Dafny project, here.

(The more or less duplicate copy that was part of the libraries repo has been combined with the project style guide to avoid duplication and divergence.)