Lots of work on documentation

Docs now include chapters documenting all client commands, and the
network protocol spoken by the client and servers. Also simplified
several aspects of the network protocol.