Adds the ability to spawn threads using the PHP pthreads extension