Merge branch 'chatbot' into 'development'

build.gradle.kts

src/main/java/nl/tudelft/queue/DevDatabaseLoader.java

...n/java/nl/tudelft/queue/controller/EditionController.java

src/main/java/nl/tudelft/queue/controller/LabController.java

...n/java/nl/tudelft/queue/controller/RequestController.java

...n/java/nl/tudelft/queue/dto/create/labs/LabCreateDTO.java

...nl/tudelft/queue/dto/create/labs/RegularLabCreateDTO.java

src/main/java/nl/tudelft/queue/dto/patch/LabPatchDTO.java

src/main/java/nl/tudelft/queue/dto/view/LabViewDTO.java

src/main/java/nl/tudelft/queue/model/LabRequest.java

src/main/java/nl/tudelft/queue/model/labs/Lab.java

...n/java/nl/tudelft/queue/properties/ElasticProperties.java

src/main/java/nl/tudelft/queue/repository/LabRepository.java

...main/java/nl/tudelft/queue/service/PermissionService.java

src/main/java/nl/tudelft/queue/service/QuestionService.java

src/main/java/nl/tudelft/queue/service/RequestService.java

src/main/resources/migrations.yml

src/main/resources/templates/edition/edit/question.html

src/main/resources/templates/edition/remove/question.html

src/main/resources/templates/edition/view.html