magit-wash-diff: improved header regexp