Add WebSocket server-initiated ping with dead client detection#21

hellerve merged 2 commits into

maincarpentry-org/web:mainfrom

claude/ws-server-pingcarpentry-org/web:claude/ws-server-pingCopy head branch name to clipboard