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
Build SQLite interface as shared library for dynamic loading
First check for exact filename when dynamically loading C lib
Add the RTLD_GLOBAL option to dlopen

This enables libraries that depend on other libraries to be openable by making
the symbols of loaded libraries globally available.
Added isNull emulation plus another primitive
More primitives
Fixed semantics of isNull emulation to properly wrap in IO
vim: remove bad whitespace highlight

should be done in individual vimrc
Look in the environment before the definitions in executor
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.
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