[x] Fix issue with escaping of backslash in Arend keywords
[x] In console REPL version. :modules should print files in tree-like order
[x] Add a command that displays information about the current Repl context (which libraries are imported and from where). Currently REPL only can provide the list of imported modules to you, but it does not list the concrete Arend files that have been 'imported' (= files that are in its scope).
[x] Something similar should be implemented for the definitions introduced by the user
[X] There should be a way to remove already imported files from the current context. A user should be able to reset the REPL context.
[x] Reseting REPL context should nevertheless keep Prelude visible
[x] :unload should affect output of :modules
[x] Arend logo should be printed after torrent of arend-lib errors is displayed.
[x] Import completion should only print module names (not everything in scope)
Console requests: