Alphabetically ordered comment prefixes.
Added support for Microsoft Boogie files.