rewrite kind.cc for kind.test

The kind binary should not work one formula at a time as we do in src/ltltest/kind.test. Starting valgrind that many times is slow.

Rewrite kind so that it reads a file with all the formulas and the expected answers, and process all of them.