[ new ] install script for the standard library#2895

gallais wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

gallais:install-scriptgallais/agda-stdlib:install-scriptCopy head branch name to clipboard