Allow specifying permission for shortcuts.get_users_with_perms

This pull requests add a `permission_name` to `get_users_with_perms` so that one can get all users which have a given permission instead of any permission.