Faster BytesSha .hashCode and .equals methods
Change core.logic on-disk format.

It's now shaped more like core.logic's pldb data, but with the indexes missing.
Added 'rels->pldb for reconstructing a full pldb including indexes from the
index-free data from disk.