Enhance the current user link in the header.
1 - Link to user's ID, which is properly escaped.
2 - Display user's full name if possible, otherwise their ID.
Merge github.com:jenkinsci/jenkins into currentUserIdAndName