Add favicon
Add documentation publishing script
Fix benchmarking