cambiato igradito menu, ora abbiamo anche il pulsante options che
permette di settare la mensa preferita.