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

QReal:Robots 2.3.1