Pro-finite MV-spaces