Move doc builds off the rsync machine

This task involves moving the doc builds off of the rsync machine, and instead using docs.php.net to build, which are then pushed to rsync for mirror distribution.