add batPrintf.{ml,mli} to .gitignore
Merge pull request #587 from madroach/master

add batPrintf.{ml,mli} to .gitignore