#255: Added a dark-background highlight.  It isn't perfect, but it is better
Added badges for MELPA and MELPA Stable.

Give people direct links to the melpa and melpa stable repositories.
Current indent + 2 is a valid stop (fix #250)
Merge pull request #261 from jfdm/improv/badges

Added badges for MELPA and MELPA Stable.
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 pull request #262 from soimort/fix-indent

Current indent + 2 is a valid stop (fix #250)
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