PHP wrapper for "git-http-backend"-CGI script (host Git repositories on a web server with just PHP and Git).