polish some things with the new website

Docs/docfx.json

@@ -31,13 +31,14 @@
       ]
     }, {
       "files": [
-        "Logo.svg"
+        "Logo.svg",
+        "favicon.ico"
       ]
     }],
     "globalMetadata": {
       "_appTitle": "MLEM Documentation",
       "_appLogoPath": "../Logo.svg",
-      "_appFaviconPath": "../Logo.svg",
+      "_appFaviconPath": "favicon.ico",
       "_appFooter": "<a href=\"https://github.com/Ellpeck/MLEM\">&copy; 2019-2020 Ellpeck</a> &ndash; <a href=\"https://ellpeck.de/#impressum\">Impressum</a> &ndash; <a href=\"https://ellpeck.de/#privacy\">Privacy</a>"
     },
     "overwrite": [{

Docs/toc.yml

@@ -1,4 +1,4 @@
-- name: Articles
+- name: Tutorials
   href: articles/
 - name: API Documentation
   href: api/

Jenkinsfile

@@ -38,7 +38,7 @@ done'''
     dotnet nuget push -s https://api.nuget.org/v3/index.json $i -k $NUGET -n true
 done'''
         sh '''/opt/docfx/docfx.exe "Docs/docfx.json"
-cp Docs/_site /var/www/MLEM/ -r'''
+cp Docs/_site/** /var/www/MLEM/ -r'''
       }
     }