made debug mode
Merge branch 'master' of github.com:mgscheer/FlowLog

Conflicts:
	interpreter/Xsb.ml
added debug mode