Apparently those files are just ISOs, and you just need to rename them. I also heard that Firestarter is good at handling various types of CD image formats.

There may be some linux commandline utilities to convert between the various formats, some of them are just shell scripts and don't require any compilation.

I don't know why they don't just use BIN/CUE or ISO for everything.