Wave Terminal v0.5.1 Release

• Big update to Connections UI (Connections Screen)
• Connections: move delete and reinstall to connections modal
• Filter tab for only running commands, clear will not remove running commands
• Set tab icon in tab settings (allow any icon to be set via the CLI interface)
• Fix Linux WaveTerm icon
• Link TOS in Welcome Modal
• New modals system to manage popup windows
• Static wavesrv/waveshell binaries (fixes glibc dependency issue for older Linux distros)
• Ctrl-Shift-V and Ctrl-Shift-C now work to copy/paste in the terminal
• Allow terminal font sizes up to 24px (to support higher density screens)
• Load lines and commands much faster when switching tabs
• Bug fix: username regex for connections (allow dots and underscores)
• Bug fix: Ctrl-w functionality when deleting first word
• Bug fix: Fix nvm, asdf, venv (automatically set rtnstate)
• Other bug fixes, UI cleanup, and minor featues