Create dpll.py

main driver for running DPLL procedure