Library to implement background daemons in PHP