Remove batPrintf.ml and batPrintf.mli

As there is already a .mlv and .mliv