[skip changelog] Deploy docs website when merging on master by masci · Pull Request #618 · arduino/arduino-cli