[web] In petsc notebooks link to petsc binder environment.

Lars Bilkerequested to merge
bilke/ogs:petsc-binder into master

Binder environment were always serial in the past. Now they use the correct environment. Petsc environment used petsc ogs conda package (see https://github.com/conda-forge/ogs-feedstock/pull/35).

Merge request reports