miri: integrate Bazel Miri tests in communication#370

dcalavrezo-qorix wants to merge 3 commits intomaineclipse-score/communication:mainfrom

dcalavrezo_mirieclipse-score/communication:dcalavrezo_miriCopy head branch name to clipboard