When available, use Readline for all stdin operations [thanks Alexis Maldonado for the original patch]