function EOF(stream)

Returns true when end of file is reached