Factorize redundant information in batched operations

There is a certain amount of information that is redundant in the batched operations format today. This information could be set globally for the batch, but this changes the binary format of operations so this needs special consideration.

What could be factorized:

• The counter (see !4024 (comment 771085810))
• The source (unless we allow multiple sources with a single signature in the future, with e.g. BLS)
• The fee, gas_limit and storage_limit (see #543)