add DjvuModel.getPageScroll()