Make checkstyle aware of message priorities.

Known bug: this breaks if the name of the file being checked contain one
of the characters <, >, ', ", &.
Merge branch 'fix_checkstyle' into preprocess
Fix checkstyle error levels. Closes #709.