Merge branch 'sonarqube-url-update' into 'master'

update url of the sonarqube server

See merge request solverstack/chameleon!97

.gitlab-ci.yml

@@ -265,6 +265,7 @@ sonar:
 
 doc:
   stage: doc
+  dependencies: []
   artifacts:
     name: chameleon_doc
     expire_in: 1 week

tools/analysis.sh

@@ -20,7 +20,7 @@ rats -w 3 --xml  `cat filelist.txt` > chameleon_rats.xml
 
 # create the sonarqube config file
 cat > sonar-project.properties << EOF
-sonar.host.url=https://sonarqube.bordeaux.inria.fr/
+sonar.host.url=https://sonarqube.bordeaux.inria.fr/sonarqube
 sonar.login=$SONARQUBE_LOGIN
 
 sonar.links.homepage=https://gitlab.inria.fr/solverstack/chameleon