Dodani poskusi dpll-jev.

dpll_zRazredi je program, ki smo ga delali od začetka in uporablja
razrede. Ob velikih težavah smo se odločili, da ga ne nadaljujemo.
dpll_brez rekurzije deluje. Edina stvar ki manjka, je na koncu
preverjanje vseh možnih vrednosti spremenljivk. To smo poskusili
narediti v dpll:poskusRekurzije, ampak nam ni uspelo.