Profiler: output data in .JSON files #738
Description
The data dependency profiler currently outputs the gathered data in .TXT files, which make additional parsing steps necessary and thus require additional code to be maintained.
As a first step towards a simplified maintenance, output the gathered data as sensibly structured .JSON files.
As a second step, the tools in the frame can be modified to use the created .JSON files. For this, a second issue should be created.
Make sure to not break / modify the output .TXT files.