updated old screenshots, added new screenshots;
more on Isabelle document preparation and bibtex files;