Use WebSocket ping frames instead of tools/list_changed for keepalive#35

stevemolitor merged 1 commit intostevemolitor:mainstevemolitor/monet:mainfrom

joshvfleming:mainjoshvfleming/monet:mainCopy head branch name to clipboard