SYNOPSIS
	string read_file(string file, int start, int number)

DESCRIPTION
	Reads lines from file. If the optional start or number are not
	given, the whole file is read, otherwise <number> lines from
	start are read.

SEE ALSO
	read_bytes(E), write_file(E)