[idris] Remove reference to idris-reformat-dwim
[idris] restore utility functions needed by M-RET