ide: convert ide-timing.h to ide-timings.c library (take 2)