Javadoc Doclet should handle enums and records better

[DavidWhitlock]

A student used enum and record types in their project. Since those types have automatically-generated methods like name() and value(), the Javadoc Doclet that generates the text representation of the API docs displays those methods as empty. Very reasonably, the Grader deducted some points.

Let's change the Doclet to not attempt to generate documentation for synthetic methods like name() and value().