Speed it up by using readlines(sizehint). It's still slower than

other ways of reading input. :-(

In the process, I added an optional bufsize argument to the input()
function and the FileInput class.