Merge pull request #7026 from martin-cs/fix/goto-analyzer-does-not-need-solvers

solvers.a is not used in goto-analyzer so remove the dependency

Author: tautschnig

Diff for: src/goto-analyzer/Makefile

@@ -22,7 +22,6 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../langapi/langapi$(LIBEXT) \
       ../json/json$(LIBEXT) \
       ../assembler/assembler$(LIBEXT) \
-      ../solvers/solvers$(LIBEXT) \
       ../util/util$(LIBEXT) \
       # Empty last line