CI: change build name and export short SHA to cdash

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