Add a favicon to your documentation

Until now, for documentation having a customised logo, the same one was used as a favicon.

From now on, you can use a specific one, to brighten up your documentation more than ever!

Here is how Bump’s documentation looks like now:

Bump doc with favicon.png

And icing on the cake: it works for your hub too!

Happy enhancement!