Convert big png's to smaller jpg's. Bug 865433.
Merge pull request #871 from jpetto/bug-865433-firstrun-optim

Convert big png's to smaller jpg's. Bug 865433.