Makes Jetty's thread pool configurable.

Current SparkServer uses default settings of Jetty's thread pool, and those are not configurable. I think those settings should be configurable for high load condition.