improved tomcat start/stop script