Spec moved to [docs/spec](https://github.com/tendermint/tendermint/tree/master/docs/spec).