Added manager-script to tomcat conf so jenkins can deploy tomcat thing