Update references to lib/man and vm.
Added Search.oz in lib/CMakeLists.txt