[PATCH 09/16] libiberty.h: Provide CTIMER_PUSH/POP

[DJ Delorie]

libiberty is not an API to gcc, it is a portability library.  If GCC
is exporting a timer, GCC's headers should have the interface in it.