This renames all internal implementations of pump_events_with_timeout to pump_events and makes them public. Since all platforms that support pump_events support timeouts there's no need to have a separate API.
A minimal example of an application based on an external event loop that calls `pump_events` for each iteration of the external loop.