Fix use of renamed function in idris-meta-ret
cbidris:function-name-at-pt does not return language keywords
M-RET behaves better when point is at a function name
Configure eldoc for idris
Use smart ops in idris repl mode too
Don't use ? as a smart op