do not initialise DocumentModel if Isabelle document snapshot exists with the same text contents; Closes #29