[PATCH 3/9] server: Separate WM_POINTER{UP,DOWN} from WM_POINTER{ENTER,LEAVE}.