Added note about currently loaded region face
Add note about completion-ignored-extensions and .ibc files
Merge pull request #212 from david-christiansen/doc-updates

Doc updates
Added help text customization note
Merge pull request #213 from david-christiansen/doc-updates

Added help text customization note
Makefile and decruftification

Now, make compile will compile each elisp file in a fresh environment,
with neither init.el nor site lisp files loaded. It will fail if there
are any warnings at all.

First step towards Travis support.
Add trivial test

This is a wrapper to make sure things like Travis are working, and to
provide a place to insert real tests in the future.
Add travis config
Merge pull request #214 from david-christiansen/tests

Beginning of test support
Install Idris as part of idris-mode tests
Test that the setting controlling the metavariable list works
Make Idris install follow recipe
Test that idris-quit cleans up stray buffers
Test proof search
Added note about test suite to README
Merge pull request #216 from david-christiansen/tests

Initial tests of interactive editing
Add version
Don't complain if errors are off and request cancelled for idris-eval
Merge pull request #217 from david-christiansen/tests

Make idris able to be a datasource for Helm
Avoid ugly ANSI codes in package output

This makes error messages at least readable.