Methods to export to other formats

dumpToPsAndPdf - add an export capability into PS and PDF files (encapsulating bitmaps).
dumpToTiff - add an export capability into TIFF files.
dumpToGif - add an export capability into GIF files.
dumpThroughGdkPixbuf - add an export capability into PNG and JPG files.
dumpToAscii - add an export capability of current positions.
dumpToSVG - add an export capability into SVG files.