Added inferior Idris support using comint-mode
Describe inferior-idris-mode
Very basic keyword highlighting in inferior-idris
Made keyword and comment highlighting work better in the REPL
reorder to have keywords nearby the end, just before identifiers