STL codec: should use binary file format

I suggest to use the binary format for STL generation, or make it configurable

Empieza siguiendo la ruta de conversión de salida de la CLI para la generación de STL y determina cómo se selecciona el formato actual. El issue deja abierta la cuestión de si la salida binaria debe reemplazar el formato existente o ser configurable, así que aclara esa decisión antes de la implementación. Se considera terminado cuando la generación de STL produce la salida binaria prevista o expone la configuración acordada, con la verificación de ambas rutas si corresponde.

Escrito por el modelo de indexación a partir del texto del issue.