Restructured into a static library. Also updated leveldb to 1.14.0 (now included as a submodule)