Better tomcat start and stop scripts