actually adding favicon to HTML