message: set build RPATH so we can find z3 in non-standard locations
diff: @@ -9,6 +9,9 @@ endif()
  message(STATUS "Build type: ${CMAKE_BUILD_TYPE}")
  +set(CMAKE_INSTALL_RPATH_USE_LINK_PATH ON)
  +set(CMAKE_BUILD_WITH_INSTALL_RPATH ON)
  +
  if (MSVC)
  set(CMAKE_CXX_FLAGS "/GL /EHsc /W2 ${CMAKE_CXX_FLAGS}")
  set(CMAKE_CXX_FLAGS_DEBUG "/Od /Zi ${CMAKE_CXX_FLAGS_DEBUG}")
  