Create dpll_draft.py

initial commit of working DPLL draft.
TODO: test conflict directed back-jumping cbj() function