Hard coded version number

In order to allow FDroid to automatically update our application in their official repository when we create a tag, we somewhere need to have an hard coded version number.

See https://gitlab.com/fdroid/fdroiddata/-/merge_requests/9717#note_669640409