Add LevelDB backend for exporter node sets

Summary:
SQLite seems to slow down over time when a lot of data is inserted in
it. This is an attempt at using LevelDB to have more efficient node
sets.

Differential Revision: https://forge.softwareheritage.org/D5315