More work on tutorial for workshop.
Merge branch 'dev' of ssh://github.com/fabsx00/joern into dev