Better defaults for Server.

* Use the intstrumented thread pool to give visibility of Jetty thread
  usage.
* Disable sending of Date and Server headers.
* Allow the server some grace period when shutting down to give requests
  a chance to complete cleanly.