javascript: added ctr namespace
javascript: decouple lookuptablenames
Don't use Curses to look for console width in IDESlave

Now, setting automatic width in IDESlave mode is equivalent to setting
infinite width.
javascript: inline more functions
Add with expressions to IBC files

This prevents the following error:

idris: src/Idris/IBC.hs:(1546,13)-(1652,44): Non-exhaustive patterns in case
Merge pull request #852 from david-christiansen/ideslave-really-no-curses

Don't use Curses to look for console width in IDESlave + properly serialize and deserialize the new with-expressions  from IBCs
Merge pull request #854 from raichoo/javascript

Javascript
Added Network.Sockets

Taken from Simon Fowler's IdrisNet2 package. This is a thin wrapper over
the C sockets library.
Add toUpper and toLower functions for String
Normalise provider types before checking

This ensures, among other things, that:
 * Namespaces don't get in the way
 * Type synonyms get expanded
Add idris_net to data files
Merge pull request #858 from david-christiansen/string-upper-csae

Add toUpper and toLower functions for String
Merge pull request #860 from david-christiansen/provider-type-normalize

Normalise provider types before checking
Use 'with' to disambiguate defaults Envs
Apply error reversal to metavariables
Proper pretty-printing of dependent pairs

 * Dependent pairs are properly highlighted as either constructors or
   types
 * Names bound in dependent pair types show up as bound in their scope
Highlight variables from error context as bound
Show error contexts with pretty-printer
Fix filename case in test run scripts

This causes them to properly clean up IBC files after them on
case-sensitive filesystems.

Fixes #866.
Add Uninhabited to Prelude

Fixes #859.