pkg/resolve: minor fixes

and lots of comments
(also added BitArray hashing)
Makefile: detect changes in base/pkg
pkg/resolve: optimized away gnrg
pkg/resolve: improved version pruning
pkg/resolve: check if solution is unsat