DeleteBatchPool settingsfile setting not honored for batch query subcommand

[jormdav]

A follow up to #501 , the batch pools remain unless --deletebatchpool is explicitly supplied to the batch query subcommand. (Identified after confirming fix for batch run)