Adjust travis-ci script to test distribution generated by `cabal sdist`
Remove libidris_rts.a from data-files as it does not belong in the sdist and is installed by the Makefile
Slightly cleaner segregation
Include test suite in sdist
Add missing support files for tests
Don't extract sdist verbosely
Merge pull request #367 from Ralith/travis-sdist

Build and test idris from the source distribution, not the git repository