Make finding the package work from ~
Make the hack more flexible

Until some Idris issues are worked out.
Merge pull request #182 from david-christiansen/prover

Improve compatibility and fix minor issues