Assorted git-related scripts and tools, including git-restore-mtime
