add instructions for getting Tomcat to bind port 80.