Interpolations and fractional Sobolev spaces in Carnot groups