Definizione della servlet per il logout