Fix for latest Idris

Mostly renaming variables, also new names for dependent pairs.
Add ipkg file

Also moved everything to 'Solver' directory rather than have modules at
the top level.
Merge pull request #1 from edwinb/master

Fix for latest Idris