Fixed #28 by adding a seedable random number generator to utilities, having Java write a file with a seed each time it calls ACL2, and having main read the seed file and seed the random number generator. Also finished the mechanism in Java to detect ACL2 errors and kill the ACL2 process.