Add the possibility (with -ign_eof) to ignore end of file on input but

still not be quiet.  Also make it clear that -quiet implicitely means
-ign_eof as well.