Remove unused file
Enable Markdown and JavaDoc-style autobrief
Update style guide with new Doxygen style
Apply new documentation style, e.g., remove @brief

This patch removes *all* "@brief" comments from the code base and replaces
verbose constructs like "@c"/"@p" with Markdown. The patch also enforces the
new coding conventions in more places and removes some dead code.