Unclutter provides less annoying hiding of mouse cursor.