[PATCH v2 11/15] tools/nolibc: add difftime()