Tomcat in Docker with some nice-to-haves for development