Create dpll.py

DPLL procedure, conflict directed back jumping and helper functions.
TODO: Needs to be black boxed tested
TODO: needs refactoring