Updates from the development branch

[mumez]

This pull request includes comprehensive updates to the documentation, specifically focusing on a step-by-step tutorial for using the framework to build a sample bank account application. The changes span multiple files and cover various aspects of the framework, from model and event definitions to advanced features like event replay and time traveling.

Key changes include:

Tutorial Introduction:

• Added a new introduction section explaining the framework and outlining the key classes needed for a sample bank account application (doc/tutorial/01_introduction.md).

Model, Event, and ModelSpace Implementation:

• Detailed steps for defining the model class HtBankAccount, including attributes and initialization (doc/tutorial/02_model_implementation.md).
• Instructions for defining the event class HtBankAccountBalanceChanged and registering it (doc/tutorial/03_event_implementation.md).
• Explanation of the ModelSpace class HtBankAccountSpace and its functionalities (doc/tutorial/04_modelspace_implementation.md).

Mutations and Domain Actions:

• Step-by-step guide on implementing mutations for the balance attribute of the HtBankAccount model (doc/tutorial/05_mutations.md).
• Added domain-specific actions to the HtBankAccountSpace for operations like retrieving balances, depositing, and withdrawing money (doc/tutorial/07_domain_actions.md).

Advanced Features:

• Instructions for retrieving saved events and using snapshots to manage the state of the ModelSpace (doc/tutorial/08_event_retrieval.md, doc/tutorial/09_snapshots.md). [1] [2]
• Demonstrated how to restore ModelSpace via event replay and the automatic synchronization feature (doc/tutorial/10_event_replay.md).
• Explained the time-traveling feature to explore past states of the ModelSpace (doc/tutorial/11_time_traveling.md).