[tor-commits] [websocket/master] .gitignore binaries.