Make idris able to be a datasource for Helm

This involved two things:
1. A version number (for dependency tracking in MELA)
2. Making `idris-eval` respect the `no-errors` flag even when its request has been cancelled.