increase heapsize for typechef sampling run
add code to write feature model of a project out into a dimacs file; frontend