Fixed proverif result trace display

Letitia Lirequested to merge
labsoc_sec into master

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

Merge request reports