Add "TightPNG Encoding" checkbox to Settings.

This may be useful as a means to prefer lossless tightPNG encoding over
tight (lossy jpeg) encoding.