Add missing include

GCC 13 no longer implicitly drags in stdint as an include. This is a
fix-up to bdd42d3, which introduced the need for stdint types.

Author: tautschnig

src/goto-programs/elf_reader.cpp

@@ -10,8 +10,10 @@ Module: Read ELF
 /// Read ELF
 
 #include "elf_reader.h"
+
 #include <util/exception_utils.h>
 
+#include <cstdint>
 #include <istream>
 
 static void u16_to_native_endian_inplace(bool le_input, uint16_t &input)