Update and rename dpll.py to sat.py

created SAT class, put in dpll procedure and all supporting functions in this class.
Todo refactor: possibly pull out all conflict related functions into another class