Finding time between corresponding requests and Avatar ProVerif trace display

Letitia Lirequested to merge
labsoc_sec into master

Also, models with forks and joins should work now.

Merge request reports