Added options num_workers and worker_timeout, closes #5