worked on load-file... some key bindings and initial cleanup of process interaction

namely use make-comint instead of "start-process", and detect when we have a shell (btw, the regular expression for this is broken, but I won't fix that, rather move on towards new exchange protocol)

this needs the latest pull request for idris-dev I submitted some minutes ago (which implements change-directory)