Disabled building Benchmarks, Examples, Tools and Python in one half of the CI jobs

The benchmarks, examples, tools or Python bindings are not run by the CI, so
we just check that they can be compiled. But we don't have to do it twice...