ImageWidget: removed 'autostretch' setting (replaced by scale_factor=0) and renamed 'autoscale' setting to 'scale_for_dpi'.