Client for connecting PHP scripts to a pushed server (see github.com/mcilloni/pushed-php-client)