use official url for anonymous Debian git: anonscm.debian.org

git://git.debian.org redirects to git://anonscm.debian.org, so use the real
address.