Updated documentation in highResolutionTimer, idDistributor and shieldbody
Recommit