contents: add option --no-check-certificate to wget

contents/index.html

@@ -468,7 +468,7 @@ your environment (e.g. MKL for CPUs and CUBLAS for GPUs).
 </p>
 
 <tt><pre>
-$ wget http://starpu.gforge.inria.fr/files/starpu-someversion.tar.gz
+$ wget --no-check-certificate http://starpu.gforge.inria.fr/files/starpu-someversion.tar.gz
 $ tar xf starpu-someversion.tar.gz
 $ cd starpu-someversion
 $ ./configure

contents/market/index.html

@@ -68,7 +68,7 @@ make -C tools
 <li>Download one of the examples from the market above, for instance:
 <tt>
 <pre>
-wget https://starpu.gitlabpages.inria.fr/market/cholesky.tgz
+wget --no-check-certificate https://starpu.gitlabpages.inria.fr/market/cholesky.tgz
 tar xf cholesky.tgz
 cd cholesky
 </pre>

contents/tutorials/2019-11-HPNS-Inria/index.html

@@ -85,7 +85,7 @@ the platform using the following command.
 </p>
 
 <tt><pre>
-$ wget https://starpu.gitlabpages.inria.fr/tutorials/2019-11-HPNS-Inria/material.tgz
+$ wget --no-check-certificate https://starpu.gitlabpages.inria.fr/tutorials/2019-11-HPNS-Inria/material.tgz
 </pre></tt>
 
 </div>