Bump version in .doxygen