Bump version to v0.9.25.1 #389

Job	Run time
cppcheck	16m 12s
min features with gcc	1m 34s
code formatting check	18s
min features with g++	1m 2s
min features with clang	1m 6s
max features with gcc	1m 54s
max features with g++	2m 1s
max features with clang	2m 16s
max features with gcc and DEBUG	1m 1s
max features with gcc for 32-bit arch (legacy OS)	1m 39s
max features with g++ for 32-bit arch (legacy OS)	1m 35s
max features with clang for 32-bit arch (legacy OS)	1m 24s
	32m 2s

Provide feedback