Aggiunta libreria per trattare il formato JSON.
In WSPaziente aggiunta operazione trovaPazienti invocata da app Android.
In output restituisce un JSON, creato dalla classe JSONUtility.