Use the themed username so that modules such as Realname can work with gradebooks

The Realname module, and possibly others, theme the user name. If we use the themed name theme('username', $user) rather than $user->name these modules can modify the usernames shown on gradebooks.