favicon: Convert to png and optimize it for size.