Replace the complicated `git-set-file-times` from the Git wiki with a much simpler and more correct bash script