Update CHANGELOG to reflect recent additions and fixes
Change Show instance for Nat to show integers
Merge branch 'master' of github.com:edwinb/Idris-dev