ensure messages to websocket server respect MAX_BUF_SIZE
remove Jalangi modifications from index.html files