add eof() member-function in file_istream class & formating fixes