libc/time: This commit adds the difftime() function. Since the function...

libc/time: This commit adds the difftime() function.  Since the function returns a double, I have isolated it in a CONFIG_LIBC_DIFFTIME option (It also depends on the toolchain-dependent CONFIG_HAVE_DOUBLE so is not available on tiny platforms).