Introduces the MigrationSystemDictator and slightly refactors both SystemDictator contracts to deduplicate shared code.
