Propose redesign of OMERO and Bio-Formats 5.0 CI jobs

This commit proposes to redesign the current architecture of the 5.0.x CI jobs
used for OMERO and Bio-Formats to match the 5.1.x CI jobs. Main changes are
the unification of the names across the 5.x branches, the systematic usage of
matrix jobs for OMERO and the separation between merging/pushing, artifact
building and server deployment into distinct jobs.
Remove 4.4 jobs from the tables and add breaking jobs for OMERO
Merge remote-tracking branch 'origin/develop' into 5.0_job_renaming

Conflicts:
	contributing/ci-omero.txt
Fix tenses for the OMERO jobs
Fix tenses for the Bio-Formats jobs
Fix CI graphs using cluster
Fix spacing issue
Fix push job name
Fix travix.yml to recognize SPHINXOPTS envvar
Merge pull request #809 from sbesson/rebased/develop/travis_fix

Travis fix (rebased onto develop)
Merge pull request #743 from sbesson/5.0_job_renaming

Propose redesign of OMERO and Bio-Formats 5.0 CI jobs