[user management] users and groups management now really lead to that (closes #1931478) ie, one tab for users, another for groups. By default the groups tab simply list existing groups (with the number of users they count), and propose to create a new group.

include *.py
include */*.py
recursive-include data *.gif *.png *.ico *.css *.js
recursive-include i18n *.po
recursive-include wdoc *