[ Travis ] We need to `cabal install`.

Because we need the Primitive.agda files in share.