implemented mouse pointer warping for wormhole traversal, which also works around VUE bug with selected tool mouse cursor getting reset to default on switching map
Authored by: rhb2411 2016-07-20
Parent: [r11752]
Child: [r11754]