* Add new commandline flag to apply a static scaling multiplier.
 * The scaling is applied in hardware for best performance.
 * This does not yet apply as a result of rfbSetScale calls
   (window resize) from clients.
 * Fix server shutdown too.