Naming conventions

@bbb @sbozhko @mlesourd @fradet @xiaojie @monin

We added an extra layer of hierarchy to start filling in the model in the restructuring folder.

We have chosen and applied some renaming rules for sections, cf. arrival_sequence.v and sporadic.v. Basically, we also use Valid* in the same way, same for respects*.

We have added some definitions of the sporadic task model. Our next step will be to add the TDMA scheduling policy to try and incorporate the RTA for TDMA.

This is still in progress, but comments are welcome!

.gitlab-ci.yml

+# Taken from https://gitlab.com/erikmd/docker-coq-gitlab-ci-demo-1/blob/master/.gitlab-ci.yml
+
+stages:
+  - build
+
+.build:
+  stage: build
+  image: coqorg/${CI_JOB_NAME}
+  before_script:
+    - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
+    - opam update -y
+    # NOTE: we currently fix the mathcomp version to 1.8.0 here because
+    #       version 1.9.0 causes a build failure that still needs to be
+    #       investigated.
+    - opam install -y -j ${NJOBS} coq-mathcomp-ssreflect.1.8.0
+    - opam config list
+    - opam repo list
+    - opam list
+  script:
+    - sudo chown -R coq:coq "$CI_PROJECT_DIR"
+    - ./create_makefile.sh
+    - make -j ${NJOBS}
+    - make validate
+
+coq:8.9:
+  extends: .build
+
+# Currently does not work with fixed ssreflect version
+#coq:dev:
+#  extends: .build