Use top-level CMake project for BufferManager
cleanup
Lock-Free Hashtable