A system to keep cloud-based gamers in sync