v0.4.0

Change log:

• Fix verification of repository when editing a repository
• Help is in HTML, no more in markdown
• Allow to change UI language
• German and french languages added