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