update vignettes & travis config