[ travis ] use 2.6.1.1 for CI tests

Author: gallais

.travis.yml

@@ -48,7 +48,7 @@ matrix:
              cd ../ &&
              git clone https://github.com/agda/agda &&
              cd agda &&
-             git checkout tags/v2.6.1 &&
+             git checkout tags/v2.6.1.1 &&
              cabal install --only-dependencies --dry -v > $HOME/installplan.txt ;
           fi