mix.exs: Append .git to git repo URLs