Started to include Leo's OIDC code. Doesn't fully work yet.

Committing now so we can look at one problem together. When this works,
there will be cleanup of old login-related code.