Moving ReplicationCoordinates into mysqlctl/proto
Merge commit 'd31c4a38e552ad67f5ab1f0cef279c89a1c75c6d'