Fixed #720
Merge branch 'fix520' of git://github.com/dvvrd/qreal
Merge branch 'fix700' of git://github.com/dvvrd/qreal
Merge branch 'fix720' of git://github.com/dvvrd/qreal

Conflicts:
	plugins/robots/robotsInterpreter/robotsInterpreter_ru.qm
	plugins/robots/robotsInterpreter/robotsInterpreter_ru.ts
Merge branch 'master' of https://github.com/qreal/qreal