Added documentation for extrapolation using joern-tools.