Replace non-standard 'u_int32_t' with 'unsigned int'

Rather than standard uint32_t from stdint.h since it's C99.
Also adjust configure.ac to provide a uint64_t if one isn't available
for use in ctimer.c.