Remove obsolete unit test

The path explorer works differently now. These tests
are hard to adapt because they exercise a different
interface.

Author: peterschrammel

unit/Makefile

@@ -30,7 +30,6 @@ SRC += analyses/ai/ai.cpp \
        interpreter/interpreter.cpp \
        json/json_parser.cpp \
        json_symbol_table.cpp \
-       path_strategies.cpp \
        pointer-analysis/value_set.cpp \
        solvers/bdd/miniBDD/miniBDD.cpp \
        solvers/floatbv/float_utils.cpp \