Use boost ptime, instead of gettimeofday to compute a time with micro
second resolution. The time is returned as a double with secounds since
epoch.