Chooses a suitable set of counters based on user preference and platform.
The user can override the platform-preferred counters by defining STAPL_USE_TIMER at compile-time.
STAPL_USE_TIMER