Renderer|Client: "Pixel Doubling" replaces the "Pixel Density" setting

Should be more intuitive this way. Also moved the setting under the
"Camera Lens" group (which could now use some subheadings/splitting,
perhaps).