Improve the transfer tutorial

[ivan-gavran]

At the moment, the transfer tutorial is the best place for seeing how atomkraft works.

However, it should be updated with respect to recent changes (e.g., not downloading model checkers directly, but through atomkraft etc.).

Overall goal is to have it as a simple tutorial in which everything is done through atomkraft..

[ivan-gavran]

Related issues:

• [BUG] Load command fails modelator#241
• [Suggestion] Checking for Apalache jar whenever a modelator is imported modelator#243
• Small issues with Atomkraft tutorial #88

[hvanz]

It's possible to disable the Copy button on GitHub: squidfunk/mkdocs-material#2418

[ivan-gavran]

I see the copy button as a feature. Not sure that it makes sense to disable a user-feature for the sake our e2e tests.

Would it make sense to generate a duplicate file? (Then we are certain there will be no divergence.)