Add Reader::eof() method and document behaviour around EOF better.