[ travis ] Adapted hvr's .travis.yml template.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2