ACCUMULO-1517 Generate LaTeX appendix for config

Includes improvements to user manual in many areas, where text was too wide for
the page. Improved some Property.java formatting (mainly line length). Update
version number for user manual. Escape many LaTeX reserved characters, such as
tilde. Fix named anchor bug in html output for HTML5.