Add workaround doc on the Tomcat Manager problem