how to deploy war to tomcat using jenkins pipeline