Add batch-runner.js for running batch SQL scripts with timing info.
FossilOrigin-Name: 11f3ed61150c5940da6c157e5063e70c3aa0628dfd0023c47bb65b00af74ab1f
S
stephan committed
2cae138fbae5404fc8fc5319ba52abdb0d723c0c
Parent: f2e624e