pywebsh. 🐍 A small websh(https://github.com/jiro4989/websh) client written in Python