Small cleanup: renamed changeRaft* to setRaft* and added a few more such functions; cleaned up instances of using raft/raft1 variables.  Corrected (but did not test) some errors in Cabal file.
Big refactor: changed from a run model to a with model, where a server is started up, then the TVar containing the mutable raft state is passed to a function that can then inspect that state while the server is running.  Intriguingly, this suggests there may be a monad in our future.  Cluster test passes at same rate (about 60% of the time), but client test failing miserably.