Installation of Jetty 9.2 for digilib

Jetty 9 makes it possible to create instances separate from the main installation directory (like Tomcats CATALINA_BASE).

Quick installation instructions are on the Jetty pages.

Basically: