reduce WSL disk size

Windows Subsystem for Linux (WSL) has grown from a way to run a few Linux command-line tools…