BPF_LOG_LEVEL2 support

[theihor]

BPF verifier log level 2 dumps all states of the program explored by the verifier.

The main challenge in supporting it in the bpfvv is understanding distinct states from a linear log, and then adding a UI that allow to conveniently explore them.