Enhancement: User role filter

Users in the users list can now be filtered by their role assignments.

https://github.com/owncloud/web/pull/8492
https://github.com/owncloud/web/pull/8495
https://github.com/owncloud/web/pull/8525
