Stop using C headers

Author: reuk

src/util/ieee_float.cpp

@@ -8,9 +8,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "ieee_float.h"
 
-// <cstdint> is yet to come
-#include <stdint.h>
-
+#include <cstdint>
 #include <ostream>
 #include <cassert>
 #include <cmath>

src/util/pipe_stream.cpp

@@ -23,9 +23,9 @@ Module: A stdin/stdout pipe as STL stream
 #else
 #include <sys/types.h>
 #include <sys/wait.h>
-#include <signal.h>
 #include <unistd.h>
 #include <cstring>
+#include <csignal>
 #endif
 
 #define READ_BUFFER_SIZE 1024