Make parsing respect the nocolour flag

This fixes #1034
Removed obsolete leftover comment.
Regression test for infinite regress in executor

This test will fail if laziness doesn't prevent infinite recursion in
the executor. It's implemented using `expect` instead of `timeout` in
the hope that it will make life easier for non-GNU systems.
Normalise thunk contents when returning from executor
Use pretty-printer for :i command

This enables proper semantic highlighting in IDESlave and fixes the
specific problems in issue #1029.
Properly show superclass constraints in :i

Before:
    (a : Type) -> (Monoid a) -> (Eq a) -> Cast a (Maybe a)

Now:
    Monoid a => Eq a => Cast a (Maybe a)

Fixes #1029.
Show type class parameters in :i

Also, slightly more readable formatting.
Show terms more prettily

Now, a different pretty-print renderer is used for showTm. This should
improve display in various places in the code that don't yet work with
pretty-printer documents natively.

RE #1019 , this seems to fix the printing problem but not the IBC problem.
Increment IBC version
Dummy commit to rerun a timeouted Travis build
Add command to IDESlave for metavars

Fixes #1036.
Update CHANGELOG for metavars in IDESlave
Merge pull request #1031 from tpsinnem/default-arg-subst

Substitution of previous arguments to default arguments
Merge pull request #1035 from puffnfresh/bug/parser-nocolour

Make parsing respect the nocolour flag
Merge pull request #1037 from paulkoerbitz/fix-control-module-names

Fix control module names
Merge pull request #1038 from david-christiansen/typed-lazy-executor

Support for typed laziness in executor
Merge pull request #1039 from david-christiansen/issue/1029

Use pretty-printer for :i command
Merge pull request #1040 from david-christiansen/issue/1019

Show terms more prettily
Merge pull request #1046 from david-christiansen/metavar-ideslave

Add command to IDESlave for metavars
Merge branch 'master' of github.com:idris-lang/Idris-dev