A grammar for unified diffs.