GitHub is quickly becoming a cloud IDE, which is good news for developers around the world.