Add "doc" target for generating JavaDoc.

Also add a custom doclet (in lib/mjc-doclets.jar) which preprocesses
JavaDoc comments by replacing "\n\n" with "\n<p>\n". It's convenient
to create new paragraphs in JavaDoc by simply inserting two newlines.