#255: Added a dark-background highlight.  It isn't perfect, but it is better
Remove special support for _|_

Idris has renamed _|_ to "Void", so special commands and highlighting
are no longer necessary.

Fixes #259.
Remove extra autoload cookie

This is reported to cause problems for one user, and it's hard to see
how it could be useful without having had the mode loaded anyway.

Fixes #258.
Merge branch 'dark-theme-highlight' of github.com:hughfdjackson/idris-mode into hughfdjackson-dark-theme-highlight
Add more settings for idris loaded region face

Now it should be a bit more sensitive to different kinds of
terminal. Tested in a few themes locally.
Save excursion when loading for interactive editing

Fixes #237 (bad interaction with totality warnings)
Merge pull request #263 from david-christiansen/no-bottom

Remove special support for _|_
Merge pull request #264 from david-christiansen/issue/258

Remove extra autoload cookie
Merge pull request #267 from david-christiansen/issue/237

Save excursion when loading for interactive editing
Merge pull request #266 from david-christiansen/hughfdjackson-dark-theme-highlight

Dark theme highlight for more terminals
Remove redundant call to standard-syntax-table
Better parsing of character literals

Use a syntax-propertize-function to properly capture character literal
syntax.

Adds support for hex and octal escapes as well as ASCII escapes like
'\ACK'.

Properly recognizes '"' as a character literal.

Removes use of obsolete syntactic fontification mechanism.

Fixes #230.
Remove unneeded comment highlighting

This is taken care of by syntactic fontification anyway.
Remove debug code (oops!)
Properly fontify keywords line beginning/end

Fixes problem with fontifying module and import statements.