[dp] publish script adds home link

publish.sh

 #!/bin/bash
 
 asciidoctor site/*adoc
+sed -i -e 's/"toctitle">Navigation<\/div>/"toctitle"><a href="https://methal.pages.unistra.fr/en.html">Navigation<\/a><\/div>/' site/en.html
 sed -i -e 's/"#_outputs">Outputs<\/a>/"#_outputs">Corpus \&amp; Outputs<\/a>/' site/en.html
 cp -r site/*html public
 cp -r site/{img,styles} public/.