add static analyzer ikos

[jakoch]

Add the static analyzer IKOS: https://github.com/NASA-SW-VnV/ikos.

IKOS requires an additional build step to fetch its Boost dependencies. Refer to the setup here: https://github.com/NASA-SW-VnV/ikos/blob/master/.github/workflows/build-linux.yml.

To optimize this, an "ikos-builder" stage can be added to the Dockerfile to build IKOS and then copy the final artifacts into /opt/ikos. This approach reduces the container size by avoiding the inclusion of large Boost dependencies.