Introduce the  QT_HIGHDPI_SCALE_FACTOR env. variable.

Allow setting the scale factor to any real number.
Fix embarrasing integer division bugs: cast to
qreal to actually support fractional scale factors.