Support for TagPro-format PNG files

Add support for saving an additional PNG file in TagPro format. The new
filename is the same as the original except that it ends in
".tagpro.png" instead of ".png".