A copy of the last state of the extra::fileinput module, since it was removed for the old std::io to new std::io transition. Here until it's updated/rewritten.