fullDocs option for doc_comment

Closes #411 

Updated demo with default value for fullDocs to make it easy for users
to understand. Added documentation to manual.txt (I don't know how to run the Makefile to regenerate the manual.html file - I'm using Windows).