InstructionInfoTable: add missing cstdint include

[jbuening]

Summary:

With GCC 15.2.1, I get the following error. This PR adds the missing include.

In file included from klee/include/klee/Module/KInstruction.h:14,
                 from klee/lib/Module/KInstruction.cpp:10:
klee/include/klee/Module/InstructionInfoTable.h:52:5: error: ‘uint64_t’ does not name a type
   52 |     uint64_t assemblyLine;
      |     ^~~~~~~~

Checklist:

• The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
• The PR is divided into a logical sequence of commits OR a single commit is sufficient.
• There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
• Each commit has a meaningful message documenting what it does.
• All messages added to the codebase, all comments, as well as commit messages are spellchecked.
• The code is commented OR not applicable/necessary.
• The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
• There are test cases for the code you added or modified OR no such test cases are required.

[ccadar]

Thanks, @jbuening

[ccadar]

Thanks, @jbuening