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.