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/