RODA now runs, by default, on Tomcat 6; minor improvements to the install scripts