doc : delete old documentation.html file
doc : added favicon
doc : added header navbar to tests page