Use vfork() to launch processes on Linux

This is much faster than fork() when memory consumption is high.