Add --batch option as an alternative to STDIN#1723

rolandwalker wants to merge 1 commit intomaindbcli/mycli:mainfrom

RW/add-batch-option-for-scriptingdbcli/mycli:RW/add-batch-option-for-scriptingCopy head branch name to clipboard