A small utility to hide the mouse pointer with X.org (X11)