Use vfork() to launch processes on Linux

This supersedes #19.