Add page-label attribute to pagination directive

The page-label attribute is an expression that returns a label given a page index (in the scope local $page).

This is a fix for issue #2532