Timeserver
Adds support for synchronised virtual time (see https://i61wiki.itec.uka.de/redmine/issues/348)
The "timeserver" merge requests in Gui, Simulation and RobotAPI depend on this one
Adds support for synchronised virtual time (see https://i61wiki.itec.uka.de/redmine/issues/348)
The "timeserver" merge requests in Gui, Simulation and RobotAPI depend on this one