Remove batPrintf.ml and batPrintf.mli
Merge pull request #581 from jpdeplaix/rm-ml

Remove batPrintf.ml and batPrintf.mli