Make tests work with sandboxes

As an alternative to add the Idris sandbox path to PATH to make test suite run when running from sandbox.