Merge branch 'rework-demo4' into 'master'

Rename demo files to have them consistent See merge request !7

Merge branch 'rework-demo4' into 'master'
727b03dc · Sebastian Rieger · 64670ebd · 50aa1a85 · 727b03dc · 727b03dc
Commit 727b03dc authored 2 months ago by Sebastian Rieger
--- a/demo1_getting_started.py
+++ b/demo1_getting_started.py
--- a/demo2_instance_with_init_script.py
+++ b/demo2_instance_with_init_script.py
--- a/demo3_microservice.py
+++ b/demo3_microservice.py
--- a/demo4_scale_out.py
+++ b/demo4_scale_out.py
--- a/demo4_scale_out_add_worker.py
+++ b/demo4_scale_out_add_worker.py
--- a/destroy_all_demo_instances.py
+++ b/destroy_all_demo_instances.py