Bump msolve to 0.9.0

[ci skip]

Author: d-torrance

M2/cmake/build-libraries.cmake

@@ -485,8 +485,8 @@ endif()
 
 # https://github.com/algebraic-solving/msolve
 ExternalProject_Add(build-msolve
-  URL               https://github.com/algebraic-solving/msolve/archive/refs/tags/v0.8.0.tar.gz
-  URL_HASH          SHA256=d84f0bdefe0e09b23721fbd3b7e2f626e3206602bd245456f4ebfab445f05eb3
+  URL               https://github.com/algebraic-solving/msolve/archive/refs/tags/v0.9.0.tar.gz
+  URL_HASH          SHA256=742e84cf4d11eeadf62002623ecb7658e5d6d8c838fcf571fac06acf44252983
   PREFIX            libraries/msolve
   SOURCE_DIR        libraries/msolve/build
   DOWNLOAD_DIR      ${CMAKE_SOURCE_DIR}/BUILD/tarfiles

M2/libraries/msolve/Makefile.in

@@ -1,5 +1,5 @@
 HOMEPAGE = https://msolve.lip6.fr/
-VERSION = 0.8.0
+VERSION = 0.9.0
 URL = https://github.com/algebraic-solving/msolve/archive/refs/tags
 TARFILE = v$(VERSION).tar.gz
 LICENSEFILES = README.md COPYING