Warp the pointer on non-mouse focus changes when focus policy permits mouse tracking.

If focus policy is not manual, then a keyboard generated focus change
that doesn't warp the mouse to the new window could allow the focus
to snap back because the mouse was left behind. So warp the mouse
to prevent such unintuitive behavior.