Make duplicate-related warning fatal in developer mode

Conflicts:
	libpkg/pkg.c
Fix backtrackin in DPLL algorithm.