Added more documentation to application.properties. Simplified Tomcat
configuration to focus on a TomcatConfig class. All beans required to
customize Tomcat are grouped in packages beneath the tomcat package, and
hooked up in this single central configuration file.