Fixed proverif result trace display

Merged Letitia Li requested to merge labsoc_sec into master

Traces should now be displayed, and on the correct port.

Merge request reports