Developer documentation, updated virtual machine with development tools

[filip-jezek]

For developers, a unified virtual machine with all required tools should be available. The tools should include git, some kind of notepad / VS code, browser, MC etc.