open .pryrc with ruby-mode.
create super-coq.