LevelDB: A fast and lightweight key/value database library by Google, with a Xcode project