Build AgdaStdlib before installing it
Merge pull request #2521 from jwiegley/agda

Build AgdaStdlib before installing it