[ cleanup ] removing useless 'cabal update'
[ travis, fix ] cd to agda/ before building...