Built static site

Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>
diff --git a/.DS_Store b/.DS_Store
index 26871a2..7cbe275 100644
--- a/.DS_Store
+++ b/.DS_Store
Binary files differ
diff --git a/404.html b/404.html
index 13693da..3ca7798 100644
--- a/404.html
+++ b/404.html
@@ -43,10 +43,6 @@
     
     
       
-        
-<script>window.ga=window.ga||function(){(ga.q=ga.q||[]).push(arguments)},ga.l=+new Date,ga("create","UA-184785655-1","auto"),ga("set","anonymizeIp",!0),ga("send","pageview"),document.addEventListener("DOMContentLoaded",function(){document.forms.search&&document.forms.search.query.addEventListener("blur",function(){if(this.value){var e=document.location.pathname;ga("send","pageview",e+"?q="+this.value)}})}),document.addEventListener("DOMContentSwitch",function(){ga("send","pageview")})</script>
-<script async src="https://www.google-analytics.com/analytics.js"></script>
-      
     
     
   </head>
diff --git a/download/index.html b/download/index.html
index cd26286..4c46a2c 100644
--- a/download/index.html
+++ b/download/index.html
@@ -43,10 +43,6 @@
     
     
       
-        
-<script>window.ga=window.ga||function(){(ga.q=ga.q||[]).push(arguments)},ga.l=+new Date,ga("create","UA-184785655-1","auto"),ga("set","anonymizeIp",!0),ga("send","pageview"),document.addEventListener("DOMContentLoaded",function(){document.forms.search&&document.forms.search.query.addEventListener("blur",function(){if(this.value){var e=document.location.pathname;ga("send","pageview",e+"?q="+this.value)}})}),document.addEventListener("DOMContentSwitch",function(){ga("send","pageview")})</script>
-<script async src="https://www.google-analytics.com/analytics.js"></script>
-      
     
     
   </head>
diff --git a/index.html b/index.html
index d22e8e1..0a5f5a9 100644
--- a/index.html
+++ b/index.html
@@ -43,10 +43,6 @@
     
     
       
-        
-<script>window.ga=window.ga||function(){(ga.q=ga.q||[]).push(arguments)},ga.l=+new Date,ga("create","UA-184785655-1","auto"),ga("set","anonymizeIp",!0),ga("send","pageview"),document.addEventListener("DOMContentLoaded",function(){document.forms.search&&document.forms.search.query.addEventListener("blur",function(){if(this.value){var e=document.location.pathname;ga("send","pageview",e+"?q="+this.value)}})}),document.addEventListener("DOMContentSwitch",function(){ga("send","pageview")})</script>
-<script async src="https://www.google-analytics.com/analytics.js"></script>
-      
     
     
   </head>
diff --git a/sitemap.xml.gz b/sitemap.xml.gz
index f1eed3b..f46be12 100644
--- a/sitemap.xml.gz
+++ b/sitemap.xml.gz
Binary files differ