Add is_$ROLE values to the user details dict.

This includes adding a new property to check if a user is a student,
as well as tests for both the new property and the dictionary members.

Change-Id: I9558f14f53f5242d6e2de2864a771ac068a9102d