Documentation, and generic Python implementation, of remotely calling Tomcat Manager