remove the useless BuildInfo.mli file (autogenerated)