Group record placeholders

This update adds a proper implementation of dropper-group placeholders, allowing the display of a shared leader-board for all arenas in a group. This update probably fixes some bugs as well.
Note that existing records can most definitely not be loaded anymore, so you need to either clear existing records for each arena, or clear the entire Dropper folder.