Added favicon, pxm and ico.

The .ico file was created by renaming a .bmp file.
Added favicon.png.

The fake .ico file wasn't working too well.
Merge branch 'redesign'