Add redirections from old debian-ports.org URLs to the new ones