GitLab

* Download gzipped version of the library index

* Check gpg signature for library_index.json

* Update docs/UPGRADING.md