Windows10 may 2020 update & WSL2

Windows10 may 2020 updateにアップデートしました。

合わせてWSL2もインストールしてUbuntu環境もWSL2に移行。

ついでにUbuntuも20.04にアップグレードしました。

いまのところ特に支障はないですが、あまり使ってないからかなー。