Merge pull request #767 from dvvrd/fix674

Fixed #674
Merge pull request #768 from dvvrd/fix676

Fixed #676
Version incremented to 2.3.1
Merge pull request #769 from dvvrd/robots231

QReal:Robots 2.3.1
Merge branch 'master' of https://github.com/qreal/qreal into installer