Updated repository URL: use DNS instead of mDNS.

mDNS fails inside Vagrantbox (which uses NAT'ed networking by default).