[idris] improve M-RET
[idris] use emacs state for info mode
[idris] small tweak to flycheck checker