Updated ops list and whitelist to use UUIDs and json format (see #123).
Updated bans to use json - still name-based, no migration (see #123).