support ipsgraph
Merge branch 'generic' of github.com:ggrov/psgraph into generic

Conflicts:
	src/provers/basic_isabelle/build/BIsaMeth.thy
	src/provers/basic_isabelle/test/method_test.thy