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
Merge pull request #339 from david-christiansen/gitignore

Add tutorial LaTeX by-products to .gitignore
Merge pull request #340 from JanBessai/BackendTargetSpecification

Added back end target specification to %lib, %link and %include directives
Fix ordering of auto-implicits with 'using'
'using' arguments always now appear before fully implicit arguments, rather
than the order we happen to find them in.
TODO: Better would be to sort according to which ones we know depend on
each other...
Fixed mvn for mingw32