In a major announcement for developers, GitHub has launched Codespaces — a feature that lets you code directly on the web. Think of this as a virtual Integrated Development Environment (IDE) on ...