Merge branch 'ci' into 'master'

.gitlab-ci.yml

all-timed-benchmark.sh

cp-to-solution.sh

namelookup-xml-flush/build.gradle

namelookup-xml-inc/build.gradle

relast-reusable-flush/.gitignore

relast-reusable-flush/build.gradle

relast-reusable-flush/jastadd_modules

relast-reusable-flush/libs

relast-reusable-flush/src/gen/jastadd/.gitkeep

relast-reusable-flush/src/main

relast-reusable-flush/src/test

relast-reusable-inc/build.gradle

relast-xml-flush/build.gradle

relast-xml-inc/build.gradle

settings.gradle

solution.ini

solve/README-for-TTC-repo.md

solve/build.gradle

solve/gradle-parts/01-inc-flush.gradle