.tx batch conversion utility

I wrote this txconvert.py utility to help with batch conversion of .tx files without needing to use Arnold’s TX Manager. Also, if working with HtoA, there is no equivalent, making dealing with the status of .tx files difficult. This is essentially a wrapper around maketx that runs multiple threads and can act on a ton of files at once. It also has some things hardcoded in that I find helpful, such as looking for certain…