Simple implementation of threading in PHP using pnctl