Indexer: add getPID/getPageFromPID functions and PID to INDEXER_PAGE_ADD

This allows plugins to get the PID for a page and also to get the page
for a certain PID. That way plugins can build their own index that uses
numeric ids.