Use Markdown formatting in Javadoc comments

[clement-leprovost]

What about using Markdown formatting in our Javadoc comments? (Via this doclet.)

This would lead to the same HTML output, while making the code easier to read.