Update docs about Jetty 9 and Tomcat 8

Fixes gh-1951