Utility for converting FIG files (made by xfig) to other formats