Set the Executor for the server explicitly

The default behavior differs between systems. On ArchLinux, the default
is single-threaded, so we need to set a thread pool explicitly to ensure
multithreading.