Fixed proverif trace missing

Letitia Lirequested to merge
labsoc_sec into master

The jsimulationsdpanel should show traces correctly now for simulation and proverif traces.

Merge request reports