docs/spec/abci: update spec
docs/spec/abci: update spec

* better overview section
* section on tags
* remove notes about state/concurrency from CheckTx
* incorporate feedback from #2249
* explain how validator set updates effect future blocks

tendermint/tendermint,tendermint/tendermint,tendermint/tendermint,tendermint/tendermint