iOS: comment out badge number code until we figure out how to handle the case that notification tray will be cleared by OS when the badge number decreased to 0