Rename MigrationCoordinator to something more useful

Currently MigrationCoordinator is called that because of its (very loose) parallels to the transaction coordinator, but this name is not super clear in terms of what the thing actually does. Once we've implemented the remaining functionality we should revisit this name and either intentionally decide to leave it or change it to something better.