Change the protocol of khronos.org links to https

www.khronos.org now requires HTTPS connection (i.e. redirect http://www.khronos.org to https://www.khronos.org). So I suggest we just link to https, for security and for faster loading.