Add DXF output format to the openjscad CLI, for making 2D objects on a laser cutter or water jet.