Read all the lines until the eof.

The line terminator '\n' and \r\n is removed in each line,

var txt = "Hello\n\nWorld\n"
var i = new StringReader(txt)
assert i.read_lines == ["Hello", "", "World"]

This method is more efficient that splitting the result of read_all.

NOTE: SEE read_line for details.

Property definitions

core $ Reader :: read_lines
	# Read all the lines until the eof.
	#
	# The line terminator '\n' and `\r\n` is removed in each line,
	#
	# ~~~
	# var txt = "Hello\n\nWorld\n"
	# var i = new StringReader(txt)
	# assert i.read_lines == ["Hello", "", "World"]
	# ~~~
	#
	# This method is more efficient that splitting
	# the result of `read_all`.
	#
	# NOTE: SEE `read_line` for details.
	fun read_lines: Array[String]
	do
		var res = new Array[String]
		while not eof do
			res.add read_line
		end
		return res
	end
lib/core/stream.nit:285,2--306,4