Simple tool to clone or checkout a git repository from a php script.