Document CLI batch mode

[nineinchnick]

Description

Add a new Batch mode section to the CLI docs to describe all the remaining options. Also, add the new --no-progress variant in the interactive-mode options table.

This is a follow-up to #11894

This is how it looks like:

I intentionally made the existing Output formats section a subsection of Batch mode:

Is this change a fix, improvement, new feature, refactoring, or other?

docs

Is this a change to the core query engine, a connector, client library, or the SPI interfaces? (be specific)

docs

How would you describe this change to a non-technical end user or system administrator?

n/a

Related issues, pull requests, and links

Documentation

(x) No documentation is needed.
( ) Sufficient documentation is included in this PR.
( ) Documentation PR is available with #prnumber.
( ) Documentation issue #issuenumber is filed, and can be handled later.

Release notes

(x) No release notes entries required.
( ) Release notes entries required with the following suggested text:

# Section
* Fix some things. ({issue}`issuenumber`)

[mosabua]

Hahah .. thats perfect .. we planned to do that soon and now we can just review this ;-)

[mosabua]

A couple of things need to be clarified imho

[mosabua]

Nice work.

[mosabua]

Any chance we get this in @hashhar or @electrum ?

[hashhar]

Thanks, will merge once CI is done.

[mosabua]

So good!