Split badge management

This implements the remaining part of #665 by splitting the badge management from one instance settings page into the respective other instance settings pages.

Furthermore, it adds badge management functionality in overlays, accessible from the context, as this is where admins are in touch with the badges. To further intensify badge use, admins always see badge related facets.