apt_repository: use port 80 instead of default to circumvent restrictive firewalls

Thanks!