Create gitpull.php

To be automagically run from github; will automatically pull updates
from github upon push from local.