To reconstruct program, main code and test inputs are deleted.
Change ".gitignore" to ignore output files of sat_check.exe
Add reconstructed sat_check.ml and testdata for it.
Add explanation of syntax of input.