Make Github links https.

People are redirected anyway.