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

See
https://travis-ci.org/inc-lc/ilc-agda/builds/32259400