Parametrizing Tomcat locations in build.xml