speed up generating partial config with SAT backbone

use a SAT backbone trick to speed up the computation of open features and partial configurations
as a side effect also produce a slightly smaller .dimacs file in which those always
activated or always deactivated features have been removed from the disjunctions

in addition also write out nonboolean features without defaults in nonbool.h