Use https links to google groups

Access to google groups http urls recently started failing
with 404 errors.  Google wants us to use https.