updated isabelle loading
added new files for isabelle integration
Merge branch 'integration' of github.com:Quantomatic/quantomatic into integration

# By Gudmund Grov
# Via Gudmund Grov (2) and Alex Merry (1)
* 'integration' of github.com:Quantomatic/quantomatic:
  added new files for isabelle integration
  updated isabelle loading