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