Remove useless trjcat -prec option

A tool whose nominal job is concatenation should not also be changing
the precision of the output. Fortunately, that was never implemented
anyway. I don't know what happens if you try to concatenate two files
of different precision, or format or whatever. Joy!

Change-Id: I7c4ff1fe431897eddd7e4627723bac6e15387adf