Turn debugging info on by default
check-style.sh: format error message, print filename
Improve the error reporting dialog

* add the simulator's version;
* add a link to create new issues on GitHub.

Closes Issue #24.
Convert from dos-style line endings to unix-style