Fix line breaks in display of :t at REPL
Merge branch 'master' of https://github.com/bmsherman/Idris-dev

Conflicts:
	libs/prelude/Prelude/Applicative.idr
	libs/prelude/Prelude/Bool.idr
	libs/prelude/Prelude/Foldable.idr
	libs/prelude/Prelude/Maybe.idr
Make Prelude.Applicative.when implementation cleaner.
Make Prelude.Applicative.when implementation cleaner.
Merge branch 'master' of https://github.com/bmsherman/Idris-dev
Fix implementation of Prelude.Applicative.when
Merge pull request #1173 from raichoo/javascript

javascript: removeIDs should remove nested identities
Fix interactive editing and tests

The pretty-printer fix broke parens in interactive editing.
Allow the big startup banner to be disabled

This is done by adding `:set nobanner` to the init script.

Fixes #590.
Merge pull request #1175 from david-christiansen/pprint-assoc

Fix associativity in pretty-printer
Make executor emulate putchar

Fixes #1056.
Merge pull request #1176 from david-christiansen/init-banner

Allow the big startup banner to be disabled
javascript: inline conditions
Merge pull request #1177 from david-christiansen/issue/1056

Make executor emulate putchar
javascript: remove some more constructors
Merge pull request #1178 from raichoo/javascript

Javascript
Make Ctxt lookups more straightforward in ASTUtils.
Update comments.
Bring module loading into Idris monad

This allows proper error signaling, compared to IO, which is important
for IDESlave
Follow IDESlave protocol when import not found