Add demos: 01-vocab, 02-tro-examples, and 03-validate-tro-declaration

.editorconfig

@@ -0,0 +1,22 @@
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+charset = utf-8
+
+[Makefile*]
+tab_width = 4
+indent_size = 4
+indent_style = tab
+trim_trailing_whitespace = false
+
+[*-config]
+tab_width = 4
+indent_size = 4
+indent_style = tab
+trim_trailing_whitespace = false
+
+[Dockerfile-*]
+trim_trailing_whitespace = true

Dockerfile

@@ -0,0 +1,27 @@
+ARG PARENT_IMAGE=cirss/repro-parent:latest
+
+FROM ${PARENT_IMAGE}
+
+# copy exports into new Docker image
+COPY exports /repro/exports
+
+# copy the repro boot setup script from the distribution and run it
+ADD ${REPRO_DIST}/boot-setup /repro/dist/
+RUN bash /repro/dist/boot-setup
+
+USER repro
+
+# install required external repro modules
+RUN repro.require python-dev master ${REPROS_DEV} --default --code
+RUN repro.require shell-notebook master ${REPROS_DEV}
+RUN repro.require graphviz-runtime master ${REPROS_DEV} --util
+
+RUN sudo apt install graphviz-dev -y
+
+# install contents of the exports directory as a repro module
+RUN repro.require trov-demos exports --demo
+
+# use a local directory named tmp for each demo
+RUN repro.env REPRO_DEMO_TMP_DIRNAME tmp
+
+CMD  /bin/bash -il