Make the JSON output filename configurable.
-rw-r--r-- 16 .gitignore
-rw-r--r-- 12198 Board.pm
-rw-r--r-- 1183 Engine.pm
-rw-r--r-- 6502 Position.pm
-rw-r--r-- 1087 bench.pl
-rw-r--r-- 20485 booklook.c
-rw-r--r-- 897 config.pm
-rw-r--r-- 24430 pv-benchmark.txt
-rwxr-xr-x 19729 remoteglot.pl
drwxr-xr-x - www