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
It might be confusing to be calling it both "last patch number" and "last dbpatch".