Improvement to tomcat::deploy stage by adding hot deploy optional