Ho risolto l'incompatibilità con firefox cambiando il contenuto della funzione addSmile cosi:

codice:
function addSmile(smile) 
  {
   window.document.modulo.messaggio.value = window.document.modulo.messaggio.value + smile;
  }