Always display the prompt if verbosity > 0, previously it was only
displayed if stdin was a tty.  This fixes problems with running GHCi
under Emacs, which expects to see a prompt.