Ignore autogenerated version.ml