Microsoft Dev Box is a Developer Workstation Powered by The Cloud