Switch to GitLab-hosted Lua archvies

lua.org has been down all day, so CI has been dead.

docs/source/install_luadocumentor_in_docker.sh

@@ -7,7 +7,7 @@ fi
 
 echo "Install lua 5.1"
 cd ~
-curl -R -O https://www.lua.org/ftp/lua-5.1.5.tar.gz
+curl -R -O https://gitlab.com/OpenMW/openmw-deps/-/raw/main/lua/lua-5.1.5.tar.gz
 tar -zxf lua-5.1.5.tar.gz
 rm lua-5.1.5.tar.gz
 cd lua-5.1.5/
@@ -17,7 +17,7 @@ PATH=$PATH:~/lua-5.1.5/src
 
 echo "Install luarocks"
 luarocksV="3.9.2"
-wget https://luarocks.org/releases/luarocks-$luarocksV.tar.gz
+wget https://gitlab.com/OpenMW/openmw-deps/-/raw/main/lua/luarocks-$luarocksV.tar.gz
 tar zxpf luarocks-$luarocksV.tar.gz
 rm luarocks-$luarocksV.tar.gz
 cd luarocks-$luarocksV/