Remaining changes post 5.0.x job migration

In addition to #743, this PR now:
- lists the various deployment servers at the top of the OMERO CI jobs page
- adds the upgrade jobs
This and the others give the impression that we execute the database upgrade underneath a running server. (We don't, do we?)