Add Jetty configuration to serve JavaDocs

It's possible to add another context file for Jetty that will serve Javadocs from the server.

This avoids some Javascript issues, makes the documentation more visible, and opens the door for better integration in the future.