Use https links to google groups

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