Show how to extract the user ID from the ID token.

@gguuss please review this pull request.