Remove case sensitivity on servername
Tonight during a league game a creative captain discovered an inconsistency. We have eliminated case sensitivity for most elements of commands, but not for server names. So if a player has Captain-snd1 role in discord it works if they call ;matchsetup team1 team2 snd1, but not if they call ;matchsetup team1 team2 SND1
~~That's odd. I'm 99% certain that server names should be case-insensitive, just checked the code again and it looks fine to me.~~ I'll give it a test in a bit. Nevermind, I misunderstood, the error doesn't occur when checking the server, but when checking the role. The argument is passed directly so SND1 checks for Captain-SND1 not Captain-snd1. Will fix it.