--HG--
rename : dlib/timer/timer_kernel_2.cpp => dlib/timer/timer.cpp
rename : dlib/timer/timer_kernel_2.h => dlib/timer/timer.h
rename : dlib/timer/timer_kernel_abstract.h => dlib/timer/timer_abstract.h
rename : dlib/timer/timer_kernel_1.h => dlib/timer/timer_heavy.h