Methods to export to other formats

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