removed preferences gui

never used that ui, editing the properties file seems easier
replaced ExtrusionInfillWidth with fill density

also removed InFillMaterialType(name) property of extruder, infill will
now always be done with the same extruder as the surface.