Install Apache Tomcat 7 on Ubuntu 12.10