Merge branch 'ImprovedReflection'
Add bounded-length list type

This can be used for representing data with a maximum length, such as SQL
VARCHAR(n).
Merge pull request #290 from david-christiansen/boundedlist

Add bounded-length list type
javascript: fix ptr handling
Add Not definition
Define Any/All quantifiers for Vect
Reduce redundancy across integer operations
Parameterized integer FFI
Updated bounded lists
Linux compatibility and Idris updates

The SQLite bindings now work on case-sensitive filesystems. Additionally,
they've been updated to work with the latest Idris stdlib.
Reflection utilities

* Added Eq and Show instances for TT and its dependencies
* Added minor functions for tactic script construction
* Added utility functions copied from the Idris compiler for working with TT
  terms
Formatting improvements
Minor style and readability updates
Minor formatting and readability updates
Parser improvement to allow mixing of implicit and non implicit Arguments
Merge pull request #291 from raichoo/master

squash potential space leaks
Merge pull request #292 from raichoo/javascript

javascript: fix ptr handling
Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiers

Conflicts:
	lib/base.ipkg
Fix idris.cabal and base.ipkg to include Data.Vect.*
Merge pull request #295 from david-christiansen/boundedlist

Updated bounded lists