Add documentation for new release job infrastructure
Use HTTPS for all CI servers
Minor formatting fix
Merge pull request #2 from hflynn/ci_release_servers

Minor formatting fix
Final tidying
Merge pull request #3 from hflynn/ci_release_servers

Final tidying
Actually final tidying this time!
Merge pull request #4 from hflynn/ci_release_servers

Actually final tidying this time!
Merge pull request #1021 from sbesson/ci_release_servers

Review documentation for release infrastructure