[dashboard] Fix the coverage badges (link to gepgitlab)

development.html

@@ -30,8 +30,8 @@ category: Development
                  alt="Build Status" /></a>
         </td>
         <td id="{{ package.github }}-coveralls-status">
-          <a href="https://coveralls.io/r/stack-of-tasks/{{ package.github }}?branch=master">
-            <img src="https://coveralls.io/repos/stack-of-tasks/{{ package.github }}/badge.png?branch=master"
+          <a href="https://gepettoweb.laas.fr/doc/stack-of-tasks/{{ package.github }}/master/coverage">
+            <img src="https://gepgitlab.laas.fr/stack-of-tasks/{{ package.github }}/badges/master/coverage.svg?job=doc-coverage"
                  alt="Coverage Status" /></a>
         </td>
         <td id="{{ package.github }}-issues">n/a</td>