buffers.pl 4.8: add support of ctrl + mouse wheel to jump to previous/next buffer, new option "mouse_wheel"