Adds favicon files.

Here are the files in png and the format of the tool that I used.
They still have to be integrated into the html though.