[bigloo] HTTPS download site for releases

[Lassi Kortela]

Current Bigloo releases are downloaded from an old-school FTP site at 
<ftp://ftp-sop.inria.fr/>. FTP is getting a bit anachronistic nowadays, 
as it doesn't have SSL crypto and requires special tools (e.g. Docker's 
"add" command only supports HTTP). Would it be possible to find a secure 
HTTPS server to serve them?