Also, remove clock_t from posix.types making users find it in libc.time.  It's
really a standard C type and not used anywhere in system interfaces anyway.