Use OpenID Connect

This gives us the name (and won't stop working in September).

Implemented by monkey-patching gplus for now.