Configration for wsl. How: cloning it to $HOME of wsl, then run setup.sh. NOTE: the script still need to be tested!