A device driver to detect double mouse clicks