cleanup
update precision in .open and .nonbool files

.open files now include also features that do not have any dependencies (and thus do
not appear in the .dimacs file). by iterating over feature names from .dimacs and not
the kconfigmodel those were skipped

.nonbool defines also boolean options to 1 if they are defined (this is exploited in
Linux in several files)