ofp-util: Use a counter for transaction IDs instead of a random number.