Adding info on Tomcat Manager (closes #308)