Added jetty config file

I added the ability to supply a jetty server config file.  You don't have to take the code "as-is", but perhaps it will speed things up for you when you get round to adding that feature.