sources.debian.net now has an SSL cert

https://bugs.debian.org/772560
codesearch.debian.net now has SSL