add DIMACS export for feature models