mind the power of default settings
- 5 robots
- random board configuration
- prefer solution with maximum number of robots in motion
small changes to user text translations
release 1.2 _beta_2_