check in a dimacs feature model for 18.5 in case
updated nonboolean headers with busybox evolution
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis