Be a little more explicit about plugin names in manual

Closes #251
Mention tern.java in the manual
[doc_comment plugin] Less crummy handling of optional jsdoc param specs

Issue #253