Demetrij Kidones, prevajalec latinskih spisov