Use http connections by default (by-pass internally)

gitlab/functions.sh

@@ -207,7 +207,7 @@ if [ -z "${CONDA_PREFIX}" ]; then
 fi
 
 if [ -z "${DOCSERVER}" ]; then
-  DOCSERVER=https://www.idiap.ch
+  DOCSERVER=http://www.idiap.ch
 fi
 
 PREFIX=${CI_PROJECT_DIR}/${CONDA_PREFIX}