tools: 1. Improved the tools in order to setup model-checking related tests on Jenkins.
2. Spell-checking corrections in the help of test runner.