Fixes to option documentation. XSL to produce help messages,

javadoc, and Eclipse dialogs still not updated.