Minor code cosmetics
Allow setting group membership by matriculation number file

...for all users at the same time. Fixes: #174