update INSTALL - use packaged tomcat, it's simpler for first install