cmake Dotnet examples

gscept/nebula fips-files/include.cmake :151 

find_package(Dotnet REQUIRED)

Z3Prover/z3 examples/dotnet/CMakeLists.txt :1 

find_package(Dotnet REQUIRED)