Added is_authenticated function to User class.
It is used by OpenID extension.