Declare destructor of satcheck_glucose_baset using override

Because this matches the current coding standards, removes a warning
from clang-tidy and points out that this is overriding a base class
destructor.

Author: thomasspriggs

src/solvers/sat/satcheck_glucose.h

@@ -30,7 +30,7 @@ class satcheck_glucose_baset : public cnf_solvert, public hardness_collectort
 {
 public:
   explicit satcheck_glucose_baset(message_handlert &message_handler);
-  virtual ~satcheck_glucose_baset();
+  ~satcheck_glucose_baset() override;
 
   tvt l_get(literalt a) const override;