Merge branch 'ImprovedReflection'
Merge branch 'master' of https://github.com/edwinb/Idris-dev
Fix for conversion methods in the Java backend
Fix wrong result type for idris_peek in Java
Strictly evaluate data constructor args
Strictly evaluate type constructor args
Make prim__readString more consistent with C code

Now, newlines are returned from prim__readString just as in compiled C code.
Make test026 more robust
Merge pull request #334 from JanBessai/master

Some fixes related to typeconversion in the Java backend
Merge pull request #335 from david-christiansen/providers-work

Updates to type provider infrastructure
Default to Integer instead of Int, and adjust fromInteger accordingly
Fix for proofs in test025 (until I've added support for Decidable.Order)
More Integer fixups