Simple docker image to run a Tomcat server