Added Search.oz in lib/CMakeLists.txt