Replace TimeTraveler by php-timecop.

Done.