Splitting `set up additional static analyzers` from issue #6 (setting up CI builds). Potential analyzers: clang-tidy, CodeQL, valgrind