mon/tripemon.in: Update peer IP address displays when the address changes.