error in HTTP REST API doc.
In code examples from https://allgo.gitlabpages.inria.fr/doc/api.html#get-results, for curl, wget, httpie, and python-requests, the url given is wrong.
http://http://allgo.inria.fr//api/v1/jobs/40155 should be https://allgo.inria.fr/