dot-pager: implement the functionality that the auto-scrolling is paused upon mouse hovering.

[southp]

This is extracted from @aneeshd16 's suggestion in this comment:

Regarding the auto-scroll, I feel the scrolling should pause if the mouse is within the banner area, and this feature is present in most carousel implementations