Think about filename extensions

I noticed that for SIMPLE, we have an SQLite database but we end up with `.db` file. Should we consider using the `.sqlite` or `.sqlite3` extension when the output file is an SQLlite database?

Relevant SO discussion: https://stackoverflow.com/questions/808499/does-it-matter-what-extension-is-used-for-sqlite-database-files

La issue nomina l'output SQLite di SIMPLE, ma non indica alcun file sorgente o test. Inizia individuando dove viene scelto il nome del file di output, quindi esamina il comportamento esistente dell'output SQLite; il lavoro è completato quando il progetto usa in modo coerente l'estensione concordata.

Scritto dal modello di indicizzazione a partire dal testo della issue.