Add source code, test data, and minisat.exe (minisat for windows).