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