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