Upload a separate uncompressed .pentago.index file for each .pentago file

This will remove the need to load a couple GB of index data into RAM per
server process.
Fix generated header include bug