Make prover better at IDESlave protocol

Instead of returning strings that comprise results, return actions that
complete them. This makes handling which requests are completed much easier.
Allow :doc in prover

This supports looking up documentation while proving. It's really most
useful inside of an IDE.