Merge branch 'release/1.0.0' into 'master'

.gitlab-ci.yml

.gitmodules

build.gradle

gradle.properties

libs/jastadd2.jar

libs/relast.jar

pages/.gitignore

pages/cloc/.clocignore

pages/cloc/.gitignore

pages/cloc/cloc-def-connect.txt

pages/cloc/cloc-def-flex.txt

pages/cloc/cloc-def-grammar.txt

pages/cloc/cloc-def-jrag-jadd.txt

pages/cloc/cloc-def-parser.txt

pages/cloc/run-cloc.sh

pages/docs/changelog.md

pages/docs/compiler.md

pages/docs/dsl.md

pages/docs/extending.md

pages/docs/img/2020_mpm4cps/poster.pdf