This avoids re-reading of the page index file for every getPID()-call by
using a simple FIFO cache, limited to 10 items. In idx_addPage() and the
functions that it calls getPID() is called 3 times for the same PID.