add batPrintf.{ml,mli} to .gitignore