Feature #5193 REST service: users count

New REST service: http://server:port/silverpeas/services/profile/users/count/domain/{domainId} to count users belonging to the corresponding domain identifer. Set domainId to 'all' to to retrieve the count of all domains' users.