Make shell and help mode prompts shorter (we know we're in julia).
Merge pull request #25 from StefanKarpinski/pull-request/b34a7f69

Make shell and help mode prompts shorter (we know we're in julia).