fix #3397 -- support for shell commands from readline-repl via ? prefix