Progress on byzantine generals code

None of the networking is implemented, and we have an incomplete way of
detecting if hosts have sent a particular heartbeat before - we don't
actually store multiples.

Also the testing and documentation are incomplete