dopolnjen readme, popravki testov

potrebno še dopisati dodatne teste za CNF in izjave
potrebno pe dopisati v readme za DPLL