Don't use Curses to look for console width in IDESlave

Now, setting automatic width in IDESlave mode is equivalent to setting
infinite width.
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