Collection of tools to manipulate/convert tipsy files