add ssh: prefix for git urls in sources.txt