Merge pull request #290 from david-christiansen/boundedlist

Add bounded-length list type
squash potential space leaks by using strict foldl
javascript: fix ptr handling
Add Not definition
Define Any/All quantifiers for Vect
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
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
Merge pull request #296 from david-christiansen/sqlite

Sqlite bindings updated to work with latest Idris and on Linux
Merge pull request #297 from david-christiansen/proofutils

Reflection utilities
Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgs
Build SQLite interface as shared library for dynamic loading