Rename idris-indent-dwim -> idris-reformat-dwim
Remove unneeded interactive specs
Add more search function snippets
Align function arguments in idris
Add idris M-RET
Restore cbidris:smart-colon