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
Fix typo: "foriegn" -> "foreign"
Added type providers to tutorial
Add tutorial LaTeX by-products to .gitignore
Added backend target specification to %lib, %link and %include directives
Fix tutorial text
Merge pull request #316 from bitlisp/default-bignums

Default to Integer instead of Int, and adjust fromInteger accordingly
Merge pull request #338 from david-christiansen/provider-tutorial

Provider tutorial