dxp/issues#972: implement mini pager
changes
- (implemented the mini pager custom element on quartz branch)
- added it and tested it here
test
- open the app
- change in the header developer tools the pager to mini
- check clicking the arrows (and that they get disabled when they should)
- check clicking in the page itself and writing a different number there