Fix Python build: move special_relations_simplifier.h to tactic/core to resolve expr_pattern_match.h dependency

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

src/ast/simplifiers/CMakeLists.txt

@@ -43,5 +43,4 @@ z3_add_component(simplifiers
     randomizer.h
     refine_inj_axiom.h
     rewriter_simplifier.h
-    special_relations_simplifier.h
 )

src/tactic/core/special_relations_tactic.h

@@ -21,7 +21,7 @@ Notes:
 
 #include "tactic/tactic.h"
 #include "tactic/dependent_expr_state_tactic.h"
-#include "ast/simplifiers/special_relations_simplifier.h"
+#include "tactic/core/special_relations_simplifier.h"
 
 inline tactic* mk_special_relations_tactic(ast_manager& m, params_ref const& p = params_ref()) {
     return alloc(dependent_expr_state_tactic, m, p,