CMake: building examples is now optional