adds script that I use to check the correctness of C programs