Create response window

\i creates a buffer 'idris-response' which takes responses from idris
interaction, which may be preferable to just echoing in many cases.