Provide the diff ID to MR child pipelines

Following the discussion in [1], the diff ID might be a pretty good versioning indicator for the built packages.

[1] !1710 (merged)

Signed-off-by: Michael Hofmann mhofmann@redhat.com