arg.py now also uses PipeTool. PipeTool now offers additional hooks called before the first line is read and after the last line has been read. Slight adaption of code.py necessary.