DSE and Proverif panels

Letitia Lirequested to merge
tmpfixes into master

I have moved security generation into a ProVerif tab and also disabled avatar model checking or uppaal in DIPLODOCUS.

Merge request reports