Reduce redundancy across integer operations
Parameterized integer FFI
Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives

Conflicts:
	src/IRTS/CodegenC.hs
	src/IRTS/CodegenJava.hs
Fix Core.Execute to use IRTS.Lang.FType
Friendly smart constructors for foreign integer types
vim: remove bad whitespace highlight

should be done in individual vimrc
Merge pull request #294 from bitlisp/unified-int-primitives

Reduce redundancy across integer operations
Merge pull request #299 from david-christiansen/sqlite

Build SQLite interface as shared library for dynamic loading
Merge pull request #300 from david-christiansen/providers

Providers
Merge pull request #302 from raichoo/vim

vim: remove bad whitespace highlight
Revert "Merge pull request #294 from bitlisp/unified-int-primitives"

This reverts commit 8fed722516b72b59165e5a0bd53fe189245403e3, reversing
changes made to 943b653f35ecc85776b3493a2407e8c888e47703.
Revert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""

This reverts commit 05895a55bae2a61237abeeca99acc2454d0a1110.

This is to apply the fix.
Fix detection of FInt types in executor
Added natural number exponentials
Removed unreliable machine ints from Random effect
Repaired java and c backends to work with improved integer primitives
adapted expected output of test021 to honor modulo
Expand integer primitive unification to encompass bigints

Conflicts:
	rts/idris_rts.h
	src/IRTS/CodegenJava.hs
Instead of using the installed global idris for tests,
pass the PATH to the current compiled one to test and use this
Build in .travis.yml