Alpha/Michelson: double gas limit, except for I/Os that stay unchanged

This change doubles the maximum amount of gas for the block and for
each transaction. The cost of I/Os is updated accordingly, so that the
number of computation steps is increased, while the number of possible
I/Os in a block stays unchanged.