C++ library to work with timeval