dockerfile for gitbucket. run on tomcat