Vignettes and other documentation

Vignettes from package 'sagenhaft'