Add a git configuration to control to either use long commit hashes (current default) or use the short version with only the first 7 characters of the hash. See #578