Added WAR deployment functionality for authenticated TomCat servelet to build.xml.