Named timers
Name timers, for debugging purposes (for log messages to tell which timer they are about)
- Fixed build without --enable-debug - Added header for timer_name()
Name timers, for debugging purposes (for log messages to tell which timer they are about)