Build AgdaStdlib before installing it