PHP script to deploy web sites or applications using a post-commit hook