move some refs to petsc.bib/petscapp.bib