.travis.yml: Switch to latest Agda version
.travis.yml: Switch to latest Agda version

Somehow, Agda does not install any more on Travis:
https://travis-ci.org/inc-lc/ilc-agda/builds/32258151

inc-lc/ilc-agda