use updated Jetty 7 dot release
use updated Jetty 8 dot release
use updated Tomcat 7 dot release
add Jetty 9 server test
add Jetty 9 test to the server script