navbar pagenav name should be customizable.

This patch introduces new property 'navbar_pagenav_name', which sets tab name of the current pages TOC.