Fixed idris wrapper to make idris work with different backends.

When compiling with different backends idris needs access to other binaries from idris_plain e.g.:

```
idris --codegen javascript Test.idr -o Test.js
````
Idris would complain about no `idris-javascript` in the environment.