* Add xbt_os_time(). As the rest of xbt/portability, this is not public
for users. Instead, each programming environment (GRAS, MSG,...) use it
when needed to provide such a feature to users.
* Add xbt_os_time(). As the rest of xbt/portability, this is not public
for users. Instead, each programming environment (GRAS, MSG,...) use it
when needed to provide such a feature to users.