Add aggregate library project support to gprinstall
gprinstall can now be used to install aggregate library projects.