OO-1514 add identity key to user management

src/main/java/org/olat/admin/user/UserShortDescription.java

@@ -70,6 +70,7 @@ public class UserShortDescription extends BasicController {
 		userPropertyHandlers = UserManager.getInstance().getUserPropertyHandlersFor(usageIdentifyer, isAdministrativeUser);
 		velocityContainer.contextPut("userPropertyHandlers", userPropertyHandlers);
 		velocityContainer.contextPut("user", identity.getUser());			
+		velocityContainer.contextPut("identityKey", identity.getKey());			
 		
 		if(getIdentity().equals(identity) || isAdministrativeUser) {
 			velocityContainer.contextPut("username", identity.getName());

src/main/java/org/olat/admin/user/_content/userShortDescription.html

-<table class="table table-bordered">
+<table class="table table-bordered table-condensed table-striped">
 	#if($username)
 	<tr>
 		<th>$usernameLabel</th>
 		<td>$username</td>
 	</tr>
+	<tr>
+		<th>Identity</th>
+		<td>$identityKey</td>
+	</tr>
 	#end
 	#foreach( $propertyHandler in $userPropertyHandlers )
 	    #if ($propertyHandler.getUserPropertyAsHTML($user, $locale) && $propertyHandler.getUserPropertyAsHTML($user, $locale) != "")
@@ -13,4 +17,4 @@
 		</tr>
 		#end
 	#end
-</table>
\ No newline at end of file
+</table>