[ travis ] fix build

As always git merge broke the .travis.yml file...

Author: gallais

.travis.yml

@@ -56,13 +56,14 @@ install:
     mkdir $HOME/.cabsnap;
     cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
     cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin $HOME/installplan.txt $HOME/.cabsnap/;
+  - cd -
   # installing fix-agda-whitespace
   - git clone https://github.com/agda/fix-whitespace --depth=1
   - cd fix-whitespace
   - cabal install fix-whitespace.cabal
   - cd -
-  - yes | rm -R fix-whitespace/
   # generating Everything.agda
+  - cd agda-stdlib
   - cabal install lib.cabal
   - runghc GenerateEverything.hs
   # setting up travis-specific scripts and files