Removing docs.
Checking in tool binaries (for now).