Use the nice https://github.com/CLIUtils/CLI11 library .to refactor handling of command-line options.
Almost no sematic changes (except #2739 (closed) and 3c243c26). Most option names changes will be done later in #3295 (closed).
Closes #2732 (closed).