Add logging/verbosity level in the manual

[mforets]

Proposal: add a section with examples of the :verbosity option.

[mforets]

Side comment: one can use the progress bar meter from ProgressMeter.jl with the two lines Progress and update! as follows:

function reach_blocks!(...)
    ...
    p = Progress(N, 1, "Computing the iteration loop...")
    @inbounds while true
        for i in 1:b
            bi = partition[blocks[i]]
            for (j, bj) in enumerate(partition)
                arr[j] = ϕpowerk[bi, bj] * Xhat0[j]
            end
            arr[arr_length] = Whatk[i]
            Xhatk[i] = overapproximate(blocks[i], MinkowskiSumArray(arr))
        end
        .....

        k += 1
        update!(p, k)
    end

[schillic]

Great, can you move to a separate issue?

[mforets]

Yes. I was unsure if we want to keep this by default, but in the meantime, we can keep it as a reminder. Note that for small runtimes (<3sec) the bar is not displayed at all.