[examples] Do not always build examples

With the number of examples increasing, the build time can be annoying. This follows the approach taken in dune-functions and excludes the examples from plain make. Instead it adds a dedicated target make build_examples which is included in make build_tests.

Merge request reports

Loading