update pure.jar to isabelle-2013-1
include snap.svg
make isabelle assistant work again