This PR depends on #6873.

New feature

When a single execution of a scheduled transaction is selected in a transactions panel (either for a single account or "All Transactions"), the "Duplicate" button is enabled. If this button is pressed, a transaction dialog is opened with data copied from the scheduled transaction. In contrast to "Enter" (which is enabled only when the first execution of a scheduled transaction is selected), the original scheduled transaction is not modified.

Implementation

• In Fused_Transaction, define typedef id_t, getEmptyData(), getFusedData(), split().

• In the mmTransDialog, rename m_trx_data to m_fused_data and change its type to Fused_Transaction::Data; define enum MODE; replace bool m_new_trx, bool m_duplicate with MODE m_mode.

• In the mmTransDialog constructor, change the third argument from int transaction_id to Fused_Transaction::id_t fused_id.

Additional changes

• In Model_Checking, rename splittransaction() -> split().

This change is