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