Merge branch 'master' of github.com:qreal/qreal into robots
Merge pull request #1073 from dvvrd/robots

QReal:Robots 2.4.3
Merge branch 'robots' of github.com:dvvrd/qreal into robots
Merge branch 'master' of github.com:qreal/qreal into robots