Created documentation on how to install and configure Jetty.

Turns out that I'm not actually using Jetty anymore (using Tomcat instead), but this might be useful in the future. Will delete it in the next commit, but at least it'll be in the history.
Removing the Jetty docs, as it's not actually used now (Tomcat is, instead).