configure.in (gettimeofday): Check for its existance.