LevelDB support isn't necessary

It actually (and surprisingly) turns out to be slower than the manual sort.
Use trap to release lock
Don't need planet2pbf

Replaced by planet-dump-ng, which generates PBFs too.
Extracted all references to planet dump output locations to attributes
Tidy up a few things in the planetdump script