Fixup makefile phony targets
Add tests for pyeda.binop module

Also, fix the "equivalent" method. I never really got around to
implementing basic formal equivalence up until now. It is still pretty
stupid, but at least it can do DPLL for simple cases.