new document model change delay strategy
updated pure to isabelle2013-1-RC2
interface
updated clide-isabelle for new pure.jar