Provide script customconfig.sh in which the developers can define tomcat variables that are not overwritten by Puppet