a more compact SQLite index

- store hashes of URI prefixes, instead of prefixes themselves
- store assertions as filenames + byte offsets, kind of like WordNet
  does, instead of putting all the data in the index