Edit version number & move versioning to ci script

Relates https://git.420joos.dev/ost/seproj/documentation/-/work_items/367