From Jason: the code now uses the "labels" option for the pyminc library. This ensures that the output files contain only integers. From Jan: added the verbose option mostly to make sure that the program is less verbose by default, and added the option that binarizes the input file.