Fix issue #253 (Github links should use https)