update tools to a newer typechef version 0.3.6
fix dimacs file (had inconsistent number of clauses after manually patching)