Add a coq interaction mode