Enable alternate names for shared libraries

This should fix test022 on Windows
Merge pull request #289 from david-christiansen/multiple-dyn-libs

Enable alternate names for shared libraries
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
squash potential space leaks by using strict foldl
javascript: fix ptr handling
Add Not definition
Define Any/All quantifiers for Vect
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