Improve badges - Githubissues

Checklist

[x] Read Contribution Guidelines and Style Guides
[x] Test the Code
[x] This PR is ready to review and merge

Description

This improves badges (currently known as decorations) to support roles. This also adds new list command to the command that allows to show users with a badge an badges of a user. Because this required a feature of a newer JavaUtils version, JavaUtils was updated to the current version.

Migration Guide

Files

Because decorations were renamed to badges (The reason for this is that everyone always called then badges), run environments have to be updated as well:

Update config (See run_template/config)
Rename folder decorations to badges

Database

drop table guild_card_decorations; -- We will give to contributor badge to the contributor role and the booster badge to the booster role afterwards. people should then automatically have the badge if they have the role

alter table card_data rename column decorationstyle to badgestyle;
alter table card_data rename column decorationbordercolor to badgebordercolor;
alter table card_data rename column decorationborderwidth to badgeborderwithh;

Commands

On the discord we have to grant the contributor badge to the contributor role and the booster badge to the booster role

SlimeCloud / SlimeBot