More convenient output format for joern-slice.