Define Spring hyperlink and extlink for Spring doc in OMERO conf.py (rebased onto develop)



This is the same as gh-490 but rebased onto develop.

----

- Use new Spring URLs (http://spring.io and http://docs.spring.io)
- Update all links to Spring main page/documentation in the developers documentation