Config.pm: switch GitHub from git: to https: