Scale factor while exporting segmentation

Yes, it is sometimes useful to be able to apply scale on export (for example, some non-medical-imaging people use meters as units in their model files). I’ve added a size scale field to the file export options and in the segmentations module logic (in r27236), it’ll be available in tomorrow’s nightly build.