Perform code style check in CI pipeline

[pelesh]

For now this is a draft issue to make a laundry list of CI checks that need to be implemented and modifications to the configuration, build and test system that need to be made to support those checks.

• In the top CMakeLists.txt file:

  # Including clang-format cmake files to do automatic checking of formating
  include(./cmake/clang-format)

  Use absolute path to clang-format.

• Use target-based includes in CMake configuration.

• Review (and if needed modify) build scripts for test architectures (see Sync main with develop #4 for details).

• Document HyKKT required code style (update CONTRIBUTING.md).

• Enable linting.

[pelesh]

CC @cameronrutherford @shakedregev