Replace PNG favicon with SVG favicon

SVG is easier to edit, it is infinitely scalable and it doesn't matter
what size it has for it to be indexed by search engines. See
https://developers.google.com/search/docs/appearance/favicon-in-search?hl=en

Author: meator