Remove binary from Git.

To make the editor, type `make ide' in a shell.