from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/shell.cc (readline): When the true readline is lacking, use
	STL's getline instead of istream::operator>> to get a line instead
	of a word.
	Reported by Julien Vanegue.