Python PNG encoder/decoder