Main theorem for MC stationary distributions

That is, the stationary distribution is unique and positive
iff the chain is irreducible. Also, minor improvements in
the MC chapter.