Azure Dev Spaces documentation

Azure Dev Spaces is being retired and will stop working on October 31, 2023.