Merge branch 'ci-1' into 'master'

Fix the build

This MR:
- fixes a regression with the new version of cppcheck (`1.88`) on some testing code
- disables the 13.4 MISRA rule due to a false positive
- removes the clutter created by .dump files

See merge request acubesat/obc/ecss-services!40