std: implement fileinput.

Iterate over lines in a series of files. API (mostly) adopted from
Python's fileinput module.