An Isis2-based Drop-in Replacement for ZooKeeper