chore: rimuove emoji da codice e output terminale

Sostituisce tutti i simboli grafici con testo:
- checkmark/cross -> OK / ERRORE: / AVVISO:
- icone tema GUI -> testo Chiaro / Scuro

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

gui/chat.html

@@ -226,7 +226,7 @@ function addMessage(role, content, sources) {
         const doc  = s.source      || '';
         const path = s.header_path || '';
         chip.innerHTML = path
-          ? `<span class="src-doc">${esc(doc)}</span> › <span class="src-path">${esc(path)}</span>`
+          ? `<span class="src-doc">${esc(doc)}</span> &gt; <span class="src-path">${esc(path)}</span>`
           : `<span class="src-doc">${esc(doc)}</span>`;
         srcDiv.appendChild(chip);
       });