Update Jetty version to 9.2.1.v20140609

The Jetty 9.2 quick start mechanism provides almost an order of
magnitude improvement in start time [1].

[1] https://webtide.com/jetty-9-quick-start/
Merge pull request #202 from davido/patch-6

Update Jetty version to 9.2.1.v20140609