New favicon: first version had bad cropping, 2nd version now with smooth edges

[SebastJava]

That's just a very small detail. Forget this if you are overloaded. You can click and check this screenshot here. I renamed and kept the first new one favicon-bad-first-new.ico so you can compare. The edges were rough, and now it is not so bad.

Warning: I ran into tons of errors when trying to install, build, and run the server. So, this favicon is not tested yet. But the export method is the same as before, and it looks okay in Nemo.

Method:

• Inkscape: rescale from 48px to 46px to get a 1px margin inside this 48X48px svg. To avoid some sort of cropping.
• GIMP > Export to favicon.ico without any compression. (Same kind of export as for the first version.)

[SebastJava]

@clefebvre I feel quite embarrassed. Extremely tired and unable to be smart at this time. I did this temporary testing:

• Preferences > Display: Hi-DPI (2X) on my 1920X1080px display.
• Managed to open 3 versions of the favicon at the same time, in Firefox, to compare: old, new from 1st PR, new from 2nd PR (▼screenshot below, from left to right: old, 1st PR, 2nd PR) It looks worst than before. I just want to go back to my first favicon PR #17

I should take some rest and come back later with some sort of reverting PR to go back to PR #17 Sorry about this.