revert to installing agda with cabal

and increase stack size with +RTS