Updated dependencies and types for Haskell llvm bindings v3.3.8.1.
Partially defined names should not reduce at compile-time

This has been the spec for a long time, but wasn't implemented fully since
the totality checker wasn't strong enough to find some obviously total
things. This is now switched on --- functions are checked for totality
after every mutual block, or every individual function (if not mutual).
SimpleParser: improving performance so it is usefull for real world stuff
Unification fix to avoid giving up on recoverable errors

If function names don't unify, we shouldn't try to univy arguments!
Otherwise, we can get unrecoverable unification failures if some
unrelated arguments later unify.

Fixes #465
Update version number
Merge pull request #486 from david-christiansen/color-repl

Keep colour theme on REPL reload
Merge pull request #487 from tauli/master

SimpleParser: improving performance so it is usefull for real world stuf...
Fixing a typo in the --help usage screen.
Modifying the System.getEnv function to return IO (Maybe String)

For edwinb/Idris-dev#331 , allowing a segfault on returning a
null pointer string is very bad. This requires that either the
value is present or it returns Nothing.
Merge pull request #488 from gabemc/master

Fixing a typo in the --help usage screen.
Merge pull request #489 from gabemc/issue/331

Issue #331: Modifying the System.getEnv function to return IO (Maybe String)
Merge pull request #485 from lambdadomain/master

Updated dependencies and types for Haskell llvm bindings v3.3.8.1.
Fix coverage checking for functions matching constants

Generates an example case for a constant which isn't matched explicitly.
This should be sufficient to ensure that any case which isn't given
explicitly is also handled.
Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'
Adding several functions to interact with environment variables.

In addition to removing the superfluous 'isNullString' function,
now that I understand the FFI a bit better, there is a new
'getEnvPair' function that looks into the 'const char** environ'.
Setting, unsetting, and listing all of the environment variables is
now supported.
Refactoring of parser to Trifecta, documenting and updating some
items/fixing some issues.

Test 002 commented because of temporary disabling of TT quotation
support.

Regression Test 003 and Test 020 have updated expected values (which
fixes previously erranous line number report from old parser).
Merge pull request #490 from gabemc/issue/121

Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'
Merge pull request #491 from gabemc/feature/environment

Adding several functions to interact with environment variables.
Merge branch 'master' of github.com:edwinb/Idris-dev
Add ability to set ANSI italics

This is not widely supported - it may not work for some users.