Merge branch 'feature/problemstat_construction' into 'master'

Allow ProblemStat to be constructed from pre-basis factory

See merge request !205
4 jobs for master in 52 minutes and 53 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #20227
dune-2.6

00:24:04

passed #20228
dune-2.7

00:34:00

passed #20229
dune-git

00:32:00

passed #20230
dune-git-full

00:44:23