(SERVER-35) Update TK Jetty9 to 0.8.0
Merge pull request #218 from fpringvaldsen/SERVER-35-graceful-shutdown

(SERVER-35) Update TK Jetty9 to 0.8.0