为WSL配置SOCKS5代理

因为一些众所周知的原因，在国内使用 pip 等网络服务的时候会很麻烦，即使换了源有时候速度也不理想，这种时候就会希望使用代理；但 WSL 并不能直接使用 Windows 上的代理软件，需要进行一些配置。