Override warnings
The CI job for clang sometimes fails due to the different warning heuristic for the override keyword from gcc.
To make this easier to develop for, we could enable the equivalent gcc warning, which I think is "-Wsuggest-override", and fix everything that comes up.
This might not be compatible with some external code though.