Add configuration options for Jetty threadpool.

This pull request adds configuration options for the Jetty WebRunner to the GeoTrellis configuration. You can set minimum & maximum number of Jetty threads, as well as the keep alive time.