add instructions on making the portal app the tomcat "default"