Add 64-bit data bus option for AXI4-lite MMIO

[johanpel]

This adds support for a 64-bits wide data bus for the AXI4-lite MMIO interface.

To use this option, run Fletchgen with --mmio64.

TODO:

• [x] Check if this works for use-case of @mbrobbel