Generate function names in processed JSON

[mcopik]

Currently we store the stack of function calls as a stack of integer indices. While efficient, this format makes it hard to understand it during debugging. JSON processor could export a more verbose version that uses function names instead of indices.