Processes

Converts server threads to processes to fix #136.

Some child processes may remain after a local pipeline is killed with Ctl-C; there are various slightly hackish ways to fix that.

Also, there's a possibility that the same bug may at some point bite us on the client side ... maybe that should be fixed too.