Implementation of algorithm (incomplete!)
- AppendEntriesRequest/Response use RUUIDs to refer to each other
- most Server methods implemented
- more convenience methods added to PersistentState