Fix for location.py.
Cleanup of joern-tools.