use https link for searchcode

it redirects anyway, but that is annoying with requestpolicy, and hey,
who doesn't like tls