Mirror of official leveldb git repo