Installing Alfresco manually on a Tomcat server