A simple library to remotely manage Tomcat from Python