Give the pretty-printer access to info about infixes
javascript: removeIDs should remove nested identities
Respect precedence and associativity for infix ops in pprint

Fixes #1050.
Fix line breaks in display of :t at REPL
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
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
Make ihWarn work properly with emptyFC on command line
Prevent double-printing some FCs
Merge pull request #1180 from david-christiansen/ideslave-message-fix

Make missing imports errors follow the IDESlave protocol