mailinfo: More carefully parse header lines in read_one_header_line()