Moving ReplicationCoordinates into mysqlctl/proto