Added util.gettimeofday, which provides time in miliseconds.