Fix an issue with arduino-cli lib install stripping too many characters from library names in git URLs#1462