vignette revision
update stan repo submodule