Be able to specify version for github release not based on branch names.

[HydrolienF]

It can be easily be done by editing publish action so that if version.md already exist, we don't override it.