Antag ban fixes.

[mustafakalash]

Fixes #12685.
Fixes banning for some antag roles applying a syndicate ban instead.
Fixes malf selecting players with AI bans.
Fixes some antag roles not showing up in the manual ban menu.

Makes sure all antag roles have a bantype var.
Applying a syndicate ban now bans all roles rather than the old, hacky method.
Removes checks for syndicate bans and replaces with checks for individual roles where applicable.
Replaces bantype var with id datum.

Not tested.

[mustafakalash]

Do not merge, making changes and testing.

[mustafakalash]

Ready for review and merge. Tested working.

[PsiOmegaDelta]

👍

[mloc]

Needs a migration.

[PsiOmegaDelta]

Went over the changes. I think this should cover it?

-- UPDATE erro_ban SET job="Borer" WHERE job="borer"; -- Should we assume case insensitive?
UPDATE erro_ban SET job="Xenomorph" WHERE job="xeno";
-- UPDATE erro_ban SET job="actor" WHERE job="actor"; -- Same
UPDATE erro_ban SET job="ert" WHERE job="Emergency Response Team";
UPDATE erro_ban SET job="mercenary" WHERE job="operative";
--UPDATE erro_ban SET job="raider" WHERE job="raider"; -- Same
-- UPDATE erro_ban SET job="wizard" WHERE job="wizard"; -- Same
-- UPDATE erro_ban SET job="changeling" WHERE job="changeling"; -- Same
-- UPDATE erro_ban SET job="cultist" WHERE job="cultist"; -- Same
-- UPDATE erro_ban SET job="loyalist" WHERE job="loyalist"; -- Same
-- UPDATE erro_ban SET job="revolutionary" WHERE job="revolutionary"; -- Same