Simple pointer warping tool for X. Warps the mouse pointer to a given
position.
