Merge branch 'buildwar-fix' into 'master'

buildwar should use hsqldb

See merge request !1243

.gitlab-ci.yml

@@ -313,6 +313,10 @@ build_war:
     paths:
       - minerva.war
   script:
+    - rm -rf /etc/minerva/
+    - mkdir /etc/minerva/
+    - cp test-hsql-db-ci.properties /etc/minerva/db.properties
+
     - apt-get update
     - DEBIAN_FRONTEND=noninteractive apt-get install -y curl gnupg git ant
     - curl -sL https://deb.nodesource.com/setup_9.x | bash -