Minor changes in KB

1. Using waitFor() instead of exitValue() so that the program will wait
for Prover9 to complete.
2. Adding Prover9 timeout.