Add CI build number to version as patch number

So the version is for example 0.8.2374 (the build number on CI would then be 2374)