Update the local libray index#133

lucarin91 merged 2 commits intomainarduino/arduino-app-cli:mainfrom

update_lib_index_during_updatearduino/arduino-app-cli:update_lib_index_during_updateCopy head branch name to clipboard