[petsc-dev] please say hello to new arrivals on Discord

[Barry Smith]

   We would appear more friendly if multiple people said hello when someone 
joins the PETSc Discord. 

   Barry