do not build vignettes or manuals when testing via Travis

also remove highlight