from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/shell/shell.cc:
        Use std::cin when readline library cannot be used. Add history to
        readline.