added get_current_user method, which is required for the @authenticated decorator