Expose user id directly

Expose the user identifier of 'this user' (\phpbb\user) directly.
Similar to the ip, so you can use $user->id aswell besides $user->data['user_id'].