Makes busy wait in thread pool optional to prevent unnecessary high cpu loads #2746

DavidPL1 wants to merge 1 commit intogoogle-deepmind:maingoogle-deepmind/mujoco:mainfrom

DavidPL1:adds-mjthread-busywait-optDavidPL1/mujoco:adds-mjthread-busywait-optCopy head branch name to clipboard