[Torch Dialect] Emit torch.aten.mul.float_int, add folder and conversion to Arith.

[giacs-epic]

Folder is required to simplify the shape calculation of torch.aten.__interpolate.size_list_scale_list:

torch-mlir/lib/Dialect/Torch/Transforms/AbstractInterpLibrary.cpp

Lines 6900 to 6907 in 5eab669

	" %13 = torch.operator \"aten.mul.float_int\"(%11, %12) : (!torch.float, !torch.int) -> !torch.float \n"
	" %14 = torch.aten.Int.float %13 : !torch.float -> !torch.int\n"
	" %15 = torch.aten.append.t %3, %14 : !torch.list<int>, !torch.int -> !torch.list<int>\n"
	" %16 = torch.aten.__getitem__.t %9, %int1 : !torch.list<float>, !torch.int -> !torch.float\n"
	" %17 = torch.aten.__getitem__.t %arg0, %int3 : !torch.list<int>, !torch.int -> !torch.int\n"
	" %18 = torch.operator \"aten.mul.float_int\"(%16, %17) : (!torch.float, !torch.int) -> !torch.float \n"
	" %19 = torch.aten.Int.float %18 : !torch.float -> !torch.int\n"
	" %20 = torch.aten.append.t %3, %19 : !torch.list<int>, !torch.int -> !torch.list<int>\n"

(I've re-run build_tools/update_abstract_interp_lib.sh)

[zjgarvey]

Thanks! Similar comments as on the other PR.

[zjgarvey]

I made some suggestions. Ping me when you make those and I'll approve the PR.

[zjgarvey]

It does look like this needs to resolve some minor conflicts. Would you mind syncing with main so we can merge?