Runtime option to use LevelDB Java port

- https://github.com/dain/leveldb
- closes #43