Different branches - Version 0.9.11

A new Korean (South Korea) translation is available thanks to @onestrangenews, and the Russian one was updated by @splinet.

This update will let you choose a branch when syncing strings, so you can for instance select dev instead master to have the most up-to-date strings (or just ignore the dialog).

_{* And a crash when adding a new repository has been both introduced and then fixed.}