gtr-gitter -- a convenience script for git with cleanly separated work and repository directories (project and project.git)