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.