update tomcat URL

Previous URL seems to fail and tomcat 7.0.54 is available and seems to work.