hector_timing: disable hector_timing unless explicitly switched on with cmake option -DUSE_HECTOR_TIMING=ON