CI: change build name and export short SHA to cdash

Guillaume Paserorequested to merge
ci_build_names into develop

Small change to new CI:

  • the build names always start with the ref_name
  • if there is an associated MR 42, we add (MR 42)
  • the short sha1 of the revision appears in the column Revision in CDash

Merge request reports