Add TLS for video.debian.net and the redirects within it