message: GUDHI version 3.0.0.rc1
diff: set (GUDHI_MAJOR_VERSION 3)
  set (GUDHI_MINOR_VERSION 0)
  -set (GUDHI_PATCH_VERSION 0)
  +set (GUDHI_PATCH_VERSION 0.rc1)
  set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION})
  message(STATUS "GUDHI version : ${GUDHI_VERSION}")
  