Remove libc/time.pxd dependency upon sys/types.h (on suggestion of Larsmans).
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.