Get rid of old DPLL stuff

This code dates back before I was using the PicoSAT extension.
It's not actually being used anywhere,
and complicates the class inheritance by using mixins for bcp/ple.