Prover output color

This makes the prover follow the IDESlave protocol better. It also adds support for :doc, which is perhaps most useful in the IDE. :search is on the way.