Merge branch 'petsc_comparison' into 'master'

Petsc comparison

See merge request terraneo/tinyhhg!179
34 jobs for master in 69 minutes and 46 seconds (queued for 3 seconds)