Release DaVinci v64r12

Release of DaVinci v64r12, with the patched Gaudi v38r1p1, so building the whole stack

Release checklist (to be filled by the shifter)

• release build validation (to be checked with the MR author)
• RPMs deployment
• CVMFS installation
• web pages update