Configurable threadpool in gremlin server.