Try installing Agda with apt-get in .travis.yml