remove unnecessary dep_selector_to_gecode_interface.cpp/h files