sort pages (in sidebar) into alphabetic order by url (and jenkins 2.x depraced pygments and brought highlighter to replace it)

By default site.pages seems to list pages in "random" order. With small definitions, we can tell if pages should be sorted by name, url or whatever. I chose url since it is most convenient on my use case.