[cmake_run] Add -DTIMER_HZ=250 in CMAKE_ARGS in contrib mode
[cmake_run] Add -DTIMER_HZ=250 in CMAKE_ARGS in contrib mode

vvaltchev/experimentOs,vvaltchev/experimentOs,vvaltchev/experimentOs,vvaltchev/experimentOs