Remove dead tools.

These have all been obsolete since we first moved to git!

Change-Id: Ie5bfc1b30000930ef6a604b4313ff7af1b7c4573
7 files changed