updating tomcat to version 7

to be re-pulled at home