add info about version to the app

[Marco Walz]

the user should know what version of the editor he is using. also it would be helpful to know about the repository to report an issue at the right place