Gitlab CI integration: add default database

build.sh

 #!/bin/sh
 COVERAGE_DIR="coverage/$(basename "$PWD")/${CI_BUILD_REF_NAME}/${CI_BUILD_ID}"
 source ./update.sh
+cp config.ini.default config.ini
+cp index.php.default index.php
+sed -i s/sgbd.config.username =/sgbd.config.username = opac/g config.ini
+sed -i s/sgbd.config.password =/sgbd.config.password = opac/g config.ini
+sed -i s/sgbd.config.dbname =/sgbd.config.dbname = opac/g config.ini
+touch local.php
 phpunit -c tests/phpunit.xml --coverage-text=coverage.txt --coverage-html="../${COVERAGE_DIR}"
-echo "</pre>"
-echo "<a href='/${COVERAGE_DIR}'>Code coverage</a>"
-echo "<pre>"
+echo "coverage report at /${COVERAGE_DIR}"
 cat coverage.txt