Enable trace support for wasm-shell (binaryen)

The header "wasm-interpreter.h" has a definition to use a "standard" trace functionality (see the "NOTE_ENTER" templates).

It would be good to execute wasm binaries with such capability (see ```WASM_INTERPRETER_DEBUG``` flag).

As far as I can see, the trace format (in the wasm-intepreter.h file) is somehow a natural language. Probably, it is a good idea to extend it to export CTF format, or use the same format that we include in swam trace support.