sys: timex cleanup

This PR comprises some improvements for the timex module:
 * better and more documentation
 * some inline functions
 * a more flexible string conversion
Yes, I had this before. But the operation is called "subtraction".