add petsc, do not use -j4

with j4 dockerhub dies because OOM