adding a deploy hook to restart tomcat after deploy
Merge pull request #1029 from geoadmin/fix_tomcat_restart_deploy_hoo

Adding a deploy hook to restart tomcat after deploy