Ignore the built tool

I didn't accidentally push a commit adding the built binary to the repo to github earlier, no, not at all...