joern-tools is now a real python egg ;)