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