Support for parallel deployment feature

http://tomcat.apache.org/tomcat-7.0-doc/config/context.html#Parallel_deployment

Can specify version number when using deploy_with_tomcat_manager.sh so same application can be deployed to same tomcat multiple times, with different versions.

Also scripts for undeploying  specified version, and listing currently installed applications and their versions.