[ros-diffs] [hpoussin] 34186: Add an option to disable precompiled headers