* include/rtems/btimer.h: Introduce benchmark_timer_t. Let benchmark_timer_read return benchmark_timer_t.