Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.