[Agda] Fix emacs compile hook after updating to new agda version

[Nils Anders Danielsson]

On 2017-03-22 00:07, stvienna wiener wrote:
> When I compile an agda file, I get the emacs error:
> "wrong type argument sequencep, ask".
>
> I googled it and it is quite a common error and I know at least one other agda user who has the same problem.
>
> Does anyone know a fix?

I've pushed a fix.

-- 
/NAD