shell script for deploying a web-application to the tomcat local servlet-container