Merge pull request #1 from hannesm/master

reorder :)
Merge pull request #2 from hannesm/master

worked on load-file... some key bindings and initial cleanup of process interaction
Fixed highlighting of "with"-definitions
Fixed highlighting of "with"-definitions
Merge remote-tracking branch 'origin/master'
Fix highlighting of character literals
Make Idris faces customizable
Make Idris interpreter location customizable
Properly handle Idris faces; better customize organization
Ignore autosaves
Update README with new installation and customization functions
Proper highlighting of "where" blocks
Added customizable mode hook
Emacs <24.3 compatibility
Basic indentation cribbed from Haskell-mode
Minor cleanup

Use keyword args to define-derived-mode instead of setting the syntax table manually.
Handle type ascriptions in where blocks
Turn off tab indents
Added "customize" to menu
get rid of cl requirement, use idris-faces customization group