Adapted to changes in joern-tools.
And two more spots I missed earlier.
Simplification of symbol-embedding.sh.
Merge branch 'master' of https://github.com/fabsx00/joern-projects

Conflicts:
	chucky/chucky.conf
	chucky/function-embedding.sh