is_authenticated and friends as properties

The documentation mistakenly referred to is_authenticated and friends as properties, when in reality they were methods. However, they make good sense as properties. This patch turns them into properties.

This is offered as an alternative to #175.