Remove empty groups from sidebar

When using permissions, some users may have access to some group elements and some not, possibly resulting in empty groups. Empty groups are removed now.