Switched from exporting benchmark results as nested maps to exporting
lists of triplets with benchmark, counter name, and values.

Avoids taking too much memory.

They can be printed as the run* format used internally, or the
java standard format for printing method names.

Running benchmarks with the previous version "runApplications" crashed
if the run was too long.

Synthetic benchmark is a better name. Required quite some refactoring.

Added a function "printFunction" for printing method names in a format that Java programmers can understand.

Made the map for functions bi-directional.

Updated tests.

ApplicationDataPrinter takes the output as a parameter to the constructor, and
the method printToCSV is splitted in several methods

Allows for printing the CSV the method histogram of the applications.
Required to make a baseStructureSize field public (for the size of the data
structure at the start).

Only using the Kotlin way to convert to Int.