Teach sky_server how to use more threads and not drop requests

sky/tools/sky_server

Index: sky/tools/sky_server
diff --git a/sky/tools/sky_server b/sky/tools/sky_server
index 7b8f092b121ec5a4755617c4f683b6afa2447970..26375a61eb93505c47ef1b1c566dc008651a7042 100755
--- a/sky/tools/sky_server
+++ b/sky/tools/sky_server
@@ -43,6 +43,10 @@ def main():
 
     config = {
         'global': {
+            # Cherrypy appears to just drop requests if it doesn't have
+            # a thread to service them, so set our thread_pool high enough
+            # so that a z620 can run all the tests w/o timeouts.
+            'server.thread_pool': 30,
             'server.socket_port': args.port,
             'tools.staticdir.content_types' : {
                 'sky': 'text/sky',