update feature models to support different dimacs conventions more flexibly

generalized to support for kconfigreader output in addition to lvat output
adjust test case for new format as well