Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Updated dependencies and types for Haskell llvm bindings v3.3.8.1.
Keep colour theme on REPL reload

Now, the colour theme is no longer thrown out when using :r or :l.
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.