Windows 10での実行に最適化されたLinuxディストリビューション「WLinux」が登場