Changed install.txt (now the default servlet container is Tomcat); added mvn assembly for Tomcat