.travis.yml: Also install up-to-date alex

This exhausts the build-tools from Agda.cabal:

https://github.com/agda/agda/blob/2.4.0.2/Agda.cabal

Hopefully this will be fully sufficient, finally.