Chạy GUI Linux ở Bash Shell trong Windows 10, Công nghệ