use https for github URLs

http:// can have problems with certain environments, and https:// is
encouraged.