added a simple formula debugger which prints a formula in DNF
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis