getdecisionlist: keep track of all literals from a unit rule

getdecisionlist: keep track of all literals from a unit rule

Otherwise, sort_unit_decisions() may not find a unit rule and
go into and endless loop. Before this commit, we left out
conflicted packages to make the decisionlist shorter.

An alternative would be to track those left out literals.

Fixes #558.