Update math/hs-Agda to version 2.4.0.2
build ghc in tmp relative to WRKDIR