Update STYLE, incorporating wiki; close #468
improvements to STYLE based on comments
further additions, remark on :>
improvements to STYLE from suggestions
fix typo in STYLE
use GFM with highlighting for Coq code blocks
Merge pull request #559 from mikeshulman/style

Update STYLE, incorporating wiki; close #468