Converts TIPSY files to GADGET files.