adding favicon to ArangoDB web front-end