Export colors for DXF format

Specifies if you want to export also pen colors to the DXF output.