'Read the input file'

def read_infile(self, inname):

    if inname:
        print(('Reading    input    from    %s' % inname), file=sys.stderr)
        with open(inname, 'rb') as infile:
            return infile.read()
    print('Reading    input    from    stdin', file=sys.stderr)
    return sys.stdin.read()
