Vignette updates, and travis.ci builds