Merge queue attempt 1

[geekingfrog]

This is an attempt to create a merge queue to reduce the amount of work required to deploy and test various branches on the integration server. The assumption is that everything will be fine and we can merge all of that at once, which hopefully reduce the burden on the people having to deploy&test.

Here's a summary of what's in this bundle and a checklist of stuff to check:

330 better restriction titles

!boss me
$rename 8v8 Glitters Noobs
$setratinglevels 1 20

• [ ] The lobby should show "[…] | Rating: 1-20"

331 some more icon fixes

Shouldn't need to test anything, worst case, an icon doesn't show

333 Improvement to whoami and whois commands

• [ ] connect and send command $whoami and $whois, should display chevron level

339 Prevent renaming accounts when they start with "[Host"

• [ ] attempt to rename an account as "[Host]hello" and make sure it doesn't work

308 make CI great again

Ignore many tests and add a few more dialyzer ignores

• [ ] the CI should pass

291 move cache initialisation under supervision trees

There should be no functional change.

• [ ] the server starts alright
• [ ] can login, join a lobby, play a match and exit and nothing explodes server side (this is more a sanity check than anything else)

[geekingfrog]

Closing it as all but one of the mentioned PR have been merged.