Merge [coq_rewind_to_cursor] with [coq_to_cursor]
See #3
use of [...] in proofs wasn't handled.

Not exactly related but: context still aren't handled as smoothly as they could
be. TODO.
Remember info_msg until a new one is received
Fixes #3