Rename thread_executor to thread_per_task_executor
(Name suggested by Chris Mysen)
This closes issue #3.