Microsoft is adding a real Linux kernel to Windows 10, and has a new Windows Terminal command-line app for developers.