Merge branch 'develop'

.gitlab-ci.yml

.gitmodules

build-template.gradle

build.gradle

gradle.properties

gradle/wrapper/gradle-wrapper.jar

gradle/wrapper/gradle-wrapper.properties

gradlew

gradlew.bat

libs/relast.jar

pages/docs/using.md

settings.gradle

src/main/jastadd/GeneratedNavigation.jrag

src/main/jastadd/Navigation.jrag

src/main/jastadd/backend/AbstractGrammar.jadd

src/main/jastadd/mustache

src/main/jastadd/parser/RelAst.parser

src/main/jastadd/scanner/Keywords.flex

src/main/jastadd/scanner/RulesPostamble.flex

src/main/jastadd/scanner/Symbols.flex