Disable formatting of single-line comments

From #741 (comment 1799658):

Disable formatting of single line comments. Add Checkstyle check to ensure a space after //.

This will allow ASCII pictures, indented bullet lists, and so on.

Addresses #741 (closed)