Don't package the git-gui credits file anymore