Use https for play.golang.org, now required