Web IDE send code should wait before sending Ctrl+C - fix #89