Fuzzy match the role command.

[kosayoda]

Resolves #1194.

• The !role command now fuzzy matches.
  

• Duplicates are filtered.

[MarkKoz]

It'd be nice for it to work on individual words e.g. events for events team without just reducing the threshold. That's probably too complicated. This is still fine.

[Den4200]

Everything looks and works fine!

The only thing is the output of roles are not in the given order because of the switch to sets. It's nothing major, but I'll let you decide if we want to keep the sets or switch back to lists.

[kwzrd]

Works just fine; have you considered also trying a direct substring search? That would allow for e.g. "Core Dev" to match, but it'd only make sense if the search term is n chars long. Perhaps needlessly complex, as Mark says.

[Xithrius]

@kosayoda we will be able to merge after you fix bot building errors and file conflicts.

Please finish this off when you're available.

[coveralls]

Coverage increased (+0.02%) to 56.742% when pulling dbb2a6b on fuzz-the-matches into eccbebf on master.

[kosayoda]

sigh forgot to pull master before merging, at least it's not conflict inducing