ensure transport subsystem is documented in book

[kiniry]

Included in this documentation is our use of ASMs to describe client and server state, our specification of endpoints, our use of JSON and specification of transport types, and our protocols. Much of this is already specified in our formal specification.