changing tomcat to be chosen between 6 and 7, and installing tomcat in /usr/local using tarball