Merge pull request #1625 from edwinb/partial-eval

Partial evaluator fixes
Update version number ready for upcoming release
Allow Partial Eval of lambdas/lets in static pos
Merge branch 'master' of github.com:edwinb/Idris-dev