Instead of using the installed global idris for tests,
pass the PATH to the current compiled one to test and use this
Merge pull request #310 from hannesm/use-compiled-idris-instead-of-installed

Instead of using the installed global idris for tests,