Added support to properties to HTML converter for specifying a page title, whether or not there should be a table of contents, and for specifying the path to the properties file to be converted. Added user feedback messages specifying the properties file being converted and the properties HTML file being written.