Basic badge editing

This adds basic badge editing (i.e. a very rough Badge Studio).

Currently, there is no way to add or delete criteria, so all newly created badges will have three criteria by default.