intelligently timed flush of mixpanel metrics (either as they exceed batch size or if they were queued 5 seconds ago)