more work on leveldb backend
Completed first, totally untested, version of LevelDB-based backend