Remove unused solvers/prop/prop_conv_store.{h,cpp}

Author: tautschnig

src/solvers/Makefile

@@ -155,7 +155,6 @@ SRC = $(BOOLEFORCE_SRC) \
       prop/prop.cpp \
       prop/prop_assignment.cpp \
       prop/prop_conv.cpp \
-      prop/prop_conv_store.cpp \
       qbf/qbf_quantor.cpp \
       qbf/qbf_qube.cpp \
       qbf/qbf_qube_core.cpp \