What's a good way of batch converting tracker files?

ffmpeg supports each of those formats. You could convert all of them with a bash loop, such as for i in *.mod; do ffmpeg -i "$i" -b:a 320k "${i%mod}mp3"; done