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
Fix for misplaced return in idris_mmap
Added backend target specification to %lib, %link and %include directives
Merge branch 'BackendTargetSpecification' into EffectfulMemoryOperations
Fix tutorial text
Merge branch 'BackendTargetSpecification' into EffectfulMemoryOperations
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
Merge pull request #339 from david-christiansen/gitignore

Add tutorial LaTeX by-products to .gitignore