Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif

#add Dialog Search ; #add option 'External Search' in popup menu; #handle multiselect component for search ; # add Googe crawler and parse in GoogleSearch.java in myutil; #add external library jsoup-1.8.1.jar in bin ; # edit Makefile in order to compile with the library # ! Error: cannot find the library on runtime