Add expression for the Agda standard library
Merge pull request #2474 from jwiegley/agda-stdlib

Add expression for the Agda standard library
Agda: move compiler and standard library into a common directory

Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.