Add support for a second engine, for showing simple refutations.
-rw-r--r-- 20485 booklook.c
-rwxr-xr-x 32483 remoteglot.pl