Change API of `vulnerability.csv`

[sifislag]

This pr adds more debug information into vulnerability.csv. Two lists are also output, which can be used to produce a callstack to better track a vulnerability:

• original_statement_list containing a list of n statements corresponding to private function calls that can be used to get to the vulnerable statemet, and ending with the statement the vulnerability was located in

• function_list containing a list of n functions called to get to the vulnerable statement

  We currently chose to only output a single callstack for each vulnerability instance. We also now output both a csv and json file for vulnerabilities.

[github-actions[bot]]

Test Results (Souffle 2.3)

46 tests  ±0   46 :heavy_check_mark: ±0   17m 44s :stopwatch: - 8m 49s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 414fead1. ± Comparison against base commit e319f8fc.

:recycle: This comment has been updated with latest results.

[github-actions[bot]]

Test Results (Souffle 2.4)

46 tests  ±0   46 :heavy_check_mark: ±0   18m 6s :stopwatch: - 7m 32s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 414fead1. ± Comparison against base commit e319f8fc.

:recycle: This comment has been updated with latest results.