Add Z3 cmake files required by find_package
    
    So far, Z3 is not found when using cmake find_package(Z3).
    The following files have been added, to enable find_package(Z3):
      Z3Config.cmake
      Z3ConfigVersion.cmake
      Z3Targets.cmake
      Z3Targets-release.cmake
    
    Remarks:
    - Z3 has a build system using CMake. However, it does not support
      building OCaml bindings yet. Therefore, stay with the classical
      configure and make build in the spec file here and provide the
      required cmake files manually.
    - Version, lib and bitness are updated in above .cmake template files
      during the rpm prep stage using sed.