This tool converts between the textual and binary Daikon file formats.
Its input is any number of files in either format. By default it
converts each file to binary format. If the --textoutput argument is
supplied, it converts each file to textual format.
This does the work of main, but it never calls System.exit, so it
is appropriate to be called progrmmatically.
Termination of the program with a message to the user is indicated by