Mouse sensitivity should now be consistent with various resolutions.

Previously, normalised mouse coordinates were used - but this is
a poor choice, because mouse sensitivity doesn't appear to scale
with the window size. Now the sensitivity is multipled by the
window / screen size.