Newer versions of GCC have become more strict about import of
known-size number types.

Currently, compiling IKOS leads to errors similar to the following:
In file included from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/abstract_domain.hpp:47,
                 from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/interval.hpp:46,
                 from /<<PKGBUILDDIR>>/analyzer/src/analysis/pointer/pointer.cpp:48:
/<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/operator.hpp:97:24: error: ‘uint64_t’ has not been declared
   97 |                        uint64_t result_bit_width,
      |                        ^~~~~~~~

This commits adds cstdint to the list of includes wherever a numerical
type with a known or fixed size is used.

Version 2.12.0 of pygments, released in 2022. changed the signature of
HtmlFormatter.wrap, removing one argument. This makes several subclasses
incompatible with those versions of pygments.

This commit adjusts the signatures to remove that unused argument, and
adjusts the call points accordingly.

The current order of passes in the frontend leads to issues due to the
expansion of switches and the introduction of branching instructions,
potentially leading to dead cycles.

This commit delays the dead cycles pass until after the switch pass
(remove switch constructions).

The badges at the top of the README file refer to a specific release (tag).

This commit updates the badges to point to the upcoming 3.3 release.