alarm_pool_get_default() function

The default alarm pool used when alarms are added without specifying an alarm pool, and also used by the SDK to support lower power sleeps and timeouts. \sa #PICO_TIME_DEFAULT_ALARM_POOL_HARDWARE_ALARM_NUM