[skip changelog] Use local path for github.com/arduino/arduino-cli module dependency of docsgen#719